Academic Papers

These are pertinant to either TDF (ANDF), Ten15 (the architecture from which TDF was taken), or background work by the original authors of TenDRA.

Miscellaneous

Woodward66
Philip M. Woodward
. A note on Foster’s Syntax Improving Device. RRE Memorandum 2352, .
Royal Radar Establishment, Malvern, Ministry of Technology.
(Contributed by David Brailsford).
Foster68
J. Michael Foster
. A syntax improving program. The Computer Journal,
11(1):31–34
.
British Computer Society.
First received Sept. 1967.
Wagner76
E. G. Wagner
,
J. B. Wright
,
J. A. Goguen
,
J. W. Thatcher
. Some fundamentals of order-algebraic semantics. Mathematical Foundations of Computer Science 1976 Lecture Notes in Computer Science
45:153–168
. Ed. 
Antoni Mazurkiewicz
.
Springer Berlin Heidelberg.
ISBN
978-3-540-07854-8
Thatcher79
James W. Thatcher
,
Eric G. Wagner
,
Jesse B. Wright
. More on advice on structuring compilers and proving them correct. Automata, Languages and Programming Lecture Notes in Computer Science
71:596–615
. Ed. 
Hermann A. Maurer
.
Springer Berlin Heidelberg.
ISBN
978-3-540-09510-1
Foster86
J. Michael Foster
. Validating microcode algebraically. The Computer Journal,
29(5):416–422
.
British Computer Society.
Received March. 1985.
Sennett89
Chris T. Sennett
. Tool support for the production of high integrity software. RSRE Memorandum 89005, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Wiseman90
Simon Wiseman
. Basic mechanisms for computer security. RSRE Memorandum 89024, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Smith91
A. Smith
. On recursive free types in Z. RSRE Memorandum 91028, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Mosses92
Peter D. Mosses
. A tutorial on action semantics. .
Department of Computer Science, Aarhus University.
(draft).
Toft95
Jens-Ulrik Toft
. Formal specification of ANDF semantics. .
ESPRIT Project 6062 OMI/GLUE, DDC-I.
Toyn98
Ian Toyn
,
David M. Cattrall
,
John A. McDermid
,
Jeremy L. Jacob
. A practical language and toolkit for high-integrity tools. Journal of Systems and Software,
41(3):161–173
.
Elsevier.

TDF/ANDF

Peeling92
Nic E. Peeling
. ANDF features and benefits. .
DRA Malvern.
Rowlingson92
R. R. Rowlingson
,
Nic E. Peeling
. Commonly asked questions (and answers) about ANDF. .
DRA Malvern.
Peeling93
Nic E. Peeling
. Frequently asked questions about ANDF. .
DRA Malvern.
Macrakis93
Stavros Macrakis
. Porting to ANDF. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. Protecting source code with ANDF. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. Reliable interface definition and checking: ANDF for COSE. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. The structure of ANDF: Principles and examples. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. Distributing software for multiple platforms: Virtual binary vs. Multiple binary. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. Delivering applications to multiple platforms using ANDF. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. From UNCOL to ANDF: Progress in standard intermediate languages. .
Open Software Foundation.
Macrakis93
Stavros Macrakis
. Building applications using ANDF. .
Open Software Foundation.
Diamond94
Stephen L. Diamond
,
Gianluigi Castelli
. Architecture neutral distribution format (ANDF). IEEE Micro,
14(6):73–76
.
Broustaut95
Frédéric Broustaut
,
Christian Fabre
,
François de Ferrière
,
Éric Ivanov
,
Mauro Fiorentini
. Verification of ANDF components. SIGPLAN Workshop on Intermediate Representations, IR ’95
30(3):103–110
.
ACM, New York, NY, USA.
ISSN
0362-1340
ISBN
0-89791-754-5
Sloman95
Ben Sloman
,
Tom Lake
. Featherweight threads and ANDF compilation of concurrency. EURO-PAR ’95 Parallel Processing Lecture Notes in Computer Science
966:457-469
. Ed. 
Peter Khayri and Magnusson Seif and Ali Haridi
.
Springer Berlin Heidelberg.
ISBN
978-3-540-60247-7
Lake95
Tom Lake
. ANDF — sequential to parallel. Abstract machine models for highly parallel computers
. Ed. 
Peter M. John R. and Dew Davey
.
Oxford University Press, Oxford, UK.
ISBN
0-19-853796-4
Lake96
Tom Lake
,
Tim Blanchard
. Reverse engineering of assembler programs: A model-based approach and its logical basis. Proceedings of the 3rd working conference on reverse engineering WCRE ’96
.
IEEE Computer Society, Washington, DC, USA.
ISBN
0-8186-7674-4
Bundgaard96
Jørgen Bundgaard
. An ANDF based Ada 95 compiler system. Ada in Europe Lecture Notes in Computer Science
1031:81-98
. Ed. 
Marcel Toussaint
.
Springer Berlin Heidelberg.
ISBN
978-3-540-60757-1
Gaul98
Thilo S. Gaul
,
Günter Schumacher
. Compiler techniques for fast migration of embedded applications. Proceedings of the EMMSEC ’98 Conference .
European Multimedia, Embedded Systems and Electronic Commerce, Bordeaux, France.
Gaul99
Thilo S. Gaul
,
Günter Schumacher
. Advanced generator techniques for embedded compilers. Proceedings of the EMMSEC ’99 Conference .
European Multimedia, Embedded Systems and Electronic Commerce, Stockholm, Sweden.

Ten15

Royal Signals
Royal Signals
,
Malvern Radar Establishment
. The Ten15 signature, version 0.
(not released).
Royal Signals
Royal Signals
,
Malvern Radar Establishment
. Extensions to the Ten15 signature for version 0-p.
(not released).
Core86
Philip W. Core
,
J. Michael Foster
. Ten15: An overview. RSRE Memorandum 3977, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie87
Ian F. Currie
,
J. Michael Foster
,
Philip W. Core
. Ten15: An abstract machine for portable environments. ESEC ’87, 1st European Software Engineering Conference Lecture Notes in Computer Science
289:138–148
. Ed. 
Dan Howard K. and Simpson Nichols
.
Springer, Strasbourg, France.
ISBN
3-540-18712-X978-3-540-18712-7
Core88
Philip W. Core
. Ten15 as a basis for PCTE(+) implementation. Standard Interfaces for Software Tools, IEE Colloquium on
2:7/1–7/3
.
IET, Royal Signals and Radar Establishment, Malvern.
Foster89
J. Michael Foster
. The algebraic specification of a target machine: Ten15. High-Integrity Software Software Science and Engineering
. Ed. 
Chris T. Sennett
.
SpringerPitman.
ISBN
978-1-4684-5777-3
Atkins92
Martin C. Atkins
. Implementation techniques for object-oriented systems. PhD thesis. YCST 90/01 .
Department of Computer Science, University of York.
Peeling90
Nic E. Peeling
. The ten15 project. UK IT 1990 Conference
.
Royal Signals and Radar Establishment, Malvern, IET.
INSPEC Accession Number: 3649169.
Brandreth91
Mark Brandreth
,
Philip W. Core
,
Ian F. Currie
,
Nic E. Peeling
,
Margaret Stanley
,
J. Michael Foster
. Ten15 prototype. RSRE Memorandum 91025, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Bilsby91
Elizabeth R. Bilsby
. Trial implementation of a secure application using Ten15. RSRE Memorandum 4465, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Tombs91
D. J. Tombs
,
D. I. Bruce
. The evolution of Ten15. RSRE Memorandum 4543, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Blanchard92
Tim D. Blanchard
,
John A. McDermid
,
Tim D. Blanchard
,
John A. McDermid
. The Probe project. York Computer Science Technical Report Series (“Yellow Reports”)
YCS 167
.
Department of Computer Science, University of York.
Blanchard92
Tim D. Blanchard
. Probe: An efficient database language. PhD thesis. .
Department of Computer Science, University of York.
Blanchard92
Tim D. Blanchard
,
John A. McDermid
. An evaulation of the Ten15 persistent store. .
Department of Computer Science, University of York.
Edwards92
Peter W. Edwards
,
D. J. Tombs
,
D. I. Bruce
. Ten15 developments to support parallelism. RSRE Memorandum 4545, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Atkins02
Martin Atkins
. An introduction to Ten15 — a personal retrospective. .
http://mca-ltd.com/martin/Ten15/introduction.html

Flex

Foster79
J. Michael Foster
,
C. I. Moir
,
Ian F. Currie
,
John A. McDermid
,
Peter W. Edwards
,
J. D. Morison
,
C. H. Pygott
. An introduction to the Flex computer system. RSRE Memorandum 79016, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie81
Ian F. Currie
,
Peter W. Edwards
,
J. Michael Foster
. Flex firmware. RSRE Memorandum 81009, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie82
Ian F. Currie
. In praise of procedures. RSRE Memorandum 3499, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie82
Ian F. Currie
,
J. Michael Foster
. Curt: The command interpreter language for Flex. RSRE Memorandum 3522, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Foster82
J. Michael Foster
,
Ian F. Currie
,
Peter W. Edwards
. Flex: A working computer with an architecture based on procedure values. RSRE Memorandum 3500, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie83
Ian F. Currie
,
J. Michael Foster
,
Peter W. Edwards
. Kernel and system procedures in Flex. RSRE Memorandum 3626, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Stanley84
Margaret Stanley
. An evaluation of the Flex Programming Support Environment. RSRE Memorandum 86003, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Peeling84
Nic E. Peeling
,
J. D. Morison
,
Elizabeth V. Whiting
. ADAM: An abstract database machine. RSRE Memorandum 84007, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Core85
Peter W. Core
,
J. Michael Foster
. Extending the Flex graphics editor: An object oriented approach. RSRE Memorandum .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
(in preparation).
Stanley85
Margaret Stanley
. Extending data typing beyond the bounds of programming languages. RSRE Memorandum 3878, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Stanley85
Margaret Stanley
. Some practical aspects of software re-use. RSRE Memorandum 3981, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie85
Ian F. Currie
. Filestore and modes in Flex. Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland
. Ed. 
Malcolm P. Atkinson and Peter Buneman and Ronald Morrison
.
Currie85
Ian F. Currie
,
J. Michael Foster
,
Peter W. Edwards
. PerqFlex firmware. RSRE Memorandum 85015, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Currie85
Ian F. Currie
. Some IPSE aspects of the Flex project. Integrated Project Support Environments
985:76–85
. Ed. 
Peter John and Peregrinus McDermid
.
Institution of Electrical Engineers, Stevenage, UK.
Stanley85
Margaret Stanley
. The use of values without names in a programming support environment. RSRE Memorandum 3901, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Stanley86
Margaret Stanley
. Using true procedure values in a programming support environment. RSRE Memorandum 3916, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Stanley86
Margaret Stanley
. Integrity and the Flex Programming Support Environment. RSRE Memorandum 3915, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Stanley86
Margaret Stanley
. Flex and the ICL Perq 2. University Computing,
8(2):84–88
.
Whurr Publishers Ltd., London, UK.
ISSN
0265-4385
Foster86
J. Michael Foster
,
Ian F. Currie
. Remote capabilities in computer networks. RSRE Memorandum 3947, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.
Foster87
J. Michael Foster
,
Ian F. Currie
. Remote capabilities. The Computer Journal,
30(5):451–457
.
British Computer Society.
Received March 1986.
Currie87
Ian F. Currie
,
J. Michael Foster
. The varieties of capabilities in Flex. RSRE Memorandum 4042, .
Royal Signals and Radar Establishment, Malvern, Ministry of Defence.