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, Dec. 1966.

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

1968.

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

1976. 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

1979. 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

1986.

British Computer Society.

Received March. 1985.

Sennett89

Chris T. Sennett

. Tool support for the production of high integrity software. RSRE Memorandum 89005, April 1989.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Wiseman90

Simon Wiseman

. Basic mechanisms for computer security. RSRE Memorandum 89024, Jan. 1990.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Smith91

A. Smith

. On recursive free types in Z. RSRE Memorandum 91028, Jan. 1991.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Mosses92

Peter D. Mosses

. A tutorial on action semantics. Oct. 1992.

Department of Computer Science, Aarhus University.

(draft).

Toft95

Jens-Ulrik Toft

. Formal specification of ANDF semantics. 1995.

ESPRIT Project 6062 OMI/GLUE, DDC-I.

BɪʙT_eX

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

June 1998.

Elsevier.

TDF/ANDF

Peeling92

Nic E. Peeling

. ANDF features and benefits. 1992.

DRA Malvern.

Rowlingson92

R. R. Rowlingson

Nic E. Peeling

. Commonly asked questions (and answers) about ANDF. 1992.

DRA Malvern.

Peeling93

Nic E. Peeling

. Frequently asked questions about ANDF. 1993.

DRA Malvern.

BɪʙT_eX

Macrakis93

Stavros Macrakis

. Porting to ANDF. Jan. 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. Protecting source code with ANDF. Jan. 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. Reliable interface definition and checking: ANDF for COSE. May 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. The structure of ANDF: Principles and examples. June 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. Distributing software for multiple platforms: Virtual binary vs. Multiple binary. June 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. Delivering applications to multiple platforms using ANDF. June 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. From UNCOL to ANDF: Progress in standard intermediate languages. June 1993.

Open Software Foundation.

Macrakis93

Stavros Macrakis

. Building applications using ANDF. July 1993.

Open Software Foundation.

Diamond94

Stephen L. Diamond

Gianluigi Castelli

. Architecture neutral distribution format (ANDF). IEEE Micro,

14(6):73–76

1994.

BɪʙT_eX

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

March 1995.

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

1995. 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

1995. Ed.

Peter M. John R. and Dew Davey

Oxford University Press, Oxford, UK.

ISBN: 0-19-853796-4

BɪʙT_eX

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

Nov. 1996.

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

1996. 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 Sept. 1998.

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 June 1999.

European Multimedia, Embedded Systems and Electronic Commerce, Stockholm, Sweden.

Ten15

Royal Signals

Malvern Radar Establishment

. The Ten15 signature, version 0.

(not released).

BɪʙT_eX

Royal Signals

Malvern Radar Establishment

. Extensions to the Ten15 signature for version 0-p.

(not released).

BɪʙT_eX

Core86

Philip W. Core

J. Michael Foster

. Ten15: An overview. RSRE Memorandum 3977, Sept. 1986.

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

Sept. 1987. 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

Sept. 1988.

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

1989. 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 June 1992.

Department of Computer Science, University of York.

BɪʙT_eX

Peeling90

Nic E. Peeling

. The ten15 project. UK IT 1990 Conference

March 1990.

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, 1991.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

BɪʙT_eX

Bilsby91

Elizabeth R. Bilsby

. Trial implementation of a secure application using Ten15. RSRE Memorandum 4465, March 1991.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Tombs91

D. J. Tombs

D. I. Bruce

. The evolution of Ten15. RSRE Memorandum 4543, Nov. 1991.

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

Jan. 1992.

Department of Computer Science, University of York.

Blanchard92

Tim D. Blanchard

. Probe: An efficient database language. PhD thesis. 1992.

Department of Computer Science, University of York.

BɪʙT_eX

Blanchard92

Tim D. Blanchard

John A. McDermid

. An evaulation of the Ten15 persistent store. 1992.

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, Jan. 1992.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Atkins02

Martin Atkins

. An introduction to Ten15 — a personal retrospective. 2002.

http://mca-ltd.com/martin/Ten15/introduction.html

BɪʙT_eX

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, 1979.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Currie81

Ian F. Currie

Peter W. Edwards

J. Michael Foster

. Flex firmware. RSRE Memorandum 81009, Sept. 1981.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Currie82

Ian F. Currie

. In praise of procedures. RSRE Memorandum 3499, July 1982.

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, Sept. 1982.

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, June 1982.

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, Sept. 1983.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Stanley84

Margaret Stanley

. An evaluation of the Flex Programming Support Environment. RSRE Memorandum 86003, Aug. 1984.

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, May 1984.

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 1985.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

(in preparation).

BɪʙT_eX

Stanley85

Margaret Stanley

. Extending data typing beyond the bounds of programming languages. RSRE Memorandum 3878, Nov. 1985.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Stanley85

Margaret Stanley

. Some practical aspects of software re-use. RSRE Memorandum 3981, 1985.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

BɪʙT_eX

Currie85

Ian F. Currie

. Filestore and modes in Flex. Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland

Aug. 1985. Ed.

Malcolm P. Atkinson and Peter Buneman and Ronald Morrison

BɪʙT_eX

Currie85

Ian F. Currie

J. Michael Foster

Peter W. Edwards

. PerqFlex firmware. RSRE Memorandum 85015, Dec. 1985.

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

1985. Ed.

Peter John and Peregrinus McDermid

Institution of Electrical Engineers, Stevenage, UK.

BɪʙT_eX

Stanley85

Margaret Stanley

. The use of values without names in a programming support environment. RSRE Memorandum 3901, Nov. 1985.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Stanley86

Margaret Stanley

. Using true procedure values in a programming support environment. RSRE Memorandum 3916, Feb. 1986.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Stanley86

Margaret Stanley

. Integrity and the Flex Programming Support Environment. RSRE Memorandum 3915, June 1986.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.

Stanley86

Margaret Stanley

. Flex and the ICL Perq 2. University Computing,

8(2):84–88

June 1986.

Whurr Publishers Ltd., London, UK.

ISSN: 0265-4385

BɪʙT_eX

Foster86

J. Michael Foster

Ian F. Currie

. Remote capabilities in computer networks. RSRE Memorandum 3947, March 1986.

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

1987.

British Computer Society.

Received March 1986.

Currie87

Ian F. Currie

J. Michael Foster

. The varieties of capabilities in Flex. RSRE Memorandum 4042, April 1987.

Royal Signals and Radar Establishment, Malvern, Ministry of Defence.