The algebraic specification of a target machine: Ten15

  • J. M. Foster
Part of the Software Science and Engineering book series (SSEN)


Ten15 is a formally defined abstract machine and a target for high-level language compilers. It provides a basis for formal methods over the whole area of programming, from operating systems to users’ programs, from assembler-like constructions to high-level languages, and from simple text construction of programs to elaborate transformation systems. It also provides a practical basis for creating programs and for program manipulation. So it is something on which to found a programming environment. Meeting these requirements together is not easy, but there have been enough advances in recent years for this to be a timely moment to make the attempt. Experience and practical use of Ten15 have demonstrated the possibilities. This chapter considers the requirements and describes in outline how Ten15 has met them.


Free Variable Abstract Syntax Abstract Machine Ground Term Conditional Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Atkinson/Morrison 1985]
    M. P. Atkinson and R. Morrison, “Types, binding and parameters in a persistent environment”, Workshop on Persistence and Data Types, Appin (1985).Google Scholar
  2. [Currie/Foster 1987]
    I. F. Currie and J. M. Foster, The Varieties of Capability in Flex, RSRE Memorandum 4042 (1987).Google Scholar
  3. [Currie/Foster/Core 1987]
    I. F. Currie, J. M. Foster and P. W. Core, “Ten15: an abstract machine for portable environments”, Proc. 1st European Software Engineering Conference, Strasbourg, pp. 149-159 (1987).Google Scholar
  4. [Foster/Currie 1986]
    J. M. Foster and I. F. Currie, Remote Capabilities in Computer Networks, RSRE Memorandum 3947 (1986).Google Scholar
  5. [Foster/Currie/Edwards 1982]
    J. M. Foster, I. F. Currie and P. W. Edwards, “Flex: a working computer with an architecture based on procedure values”, Proc. International Workshop on High-level-language Computer Architecture, Fort Lauderdale (1982).Google Scholar
  6. [Goguen 1976]
    J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright, “An initial approach to the specification, correctness and implementation of abstract data types”, Current Trends in Programming Methodology (1976).Google Scholar
  7. [Hoare 1978]
    C. A. R. Hoare, “Communicating sequential processes” Comm. ACM, Vol. 17, No. 8 (1978).Google Scholar
  8. [Hoare 1987]
    C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, B. A. Sufrin, “Laws of programming” Comm. ACM, Vol. 30, No. 8, pp. 672–686 (1987).MathSciNetMATHCrossRefGoogle Scholar
  9. [Dijkstra 1976]
    E. Dijkstra, A Discipline of Programming, Prentice Hall (1976).Google Scholar
  10. [Landin 1964]
    P. J. Landin, “The mechanical evaluation of expressions”, Computer Journal, Vol. 6, No. 4, pp. 308–320 (1964).MATHGoogle Scholar
  11. [MacQueen/Plotkin/Sethi 1986]
    D. MacQueen, G. Plotkin and R. Sethi, “An ideal model for recursive polymorphic types”, Information and Control, Vol. 71, pp. 95–130 (1986).MathSciNetMATHCrossRefGoogle Scholar
  12. [Milner 1980]
    R. Milner, A Calculus of Communicating Systems, Springer (1980).Google Scholar
  13. [Mitchell/Plotkin 1985]
    J. C. Mitchell and G. Plotkin, “Abstract types have existential type”, 12th ACM Symposium on Principles of Programming Languages, New Orleans (1985).Google Scholar
  14. [Reynolds 1985]
    J. C. Reynolds, “Three approaches to type structure”, Proc. TAPSOFT, Springer (1985).Google Scholar
  15. [Scott 1970]
    D. Scott, Outline of a Mathematical Theory of Computation, Tech. Monograph PRG-2, Programming Research Group, Oxford University (1970).Google Scholar
  16. [Spector 1982]
    A. Z. Spector, “Performing remote operations efficiently on a local computer network”, Comm. ACM, Vol. 25, No. 1, pp. 39–59 (1982).Google Scholar
  17. [Xerox 1981]
    Xerox Corporation, Courier the Remote Procedure Call Protocol, Xerox Report XSIS 038112 (1981).Google Scholar

Copyright information

© Crown Copyright 1989

Authors and Affiliations

  • J. M. Foster
    • 1
  1. 1.Royal Signals and Radar EstablishmentUK

Personalised recommendations