Abstract
Ten15 is an abstract machine which is defined algebraically with strong typing enforced throughout. The structure and operations of this machine are sufficiently rich to allow the efficient implementation of a general purpose program-support environment extending over networks. Since Ten15 is an abstraction of programming languages rather than hardware, it also serves as a target in the compilation of standard languages. As well as giving common addressing mechanisms, Ten15 provides a common system of types which is enforced throughout the system whether in user's programs, system utilities or any other tools, alleviating many of the interfacing difficulties encountered when independently written programs try to interact. Porting an environment based on Ten15 to a new machine consists of writing a translator of Ten15 programs for the new machine together with a relatively small part of the system kernel mainly concerned with peripheral drivers; a normal bootstrap gives the ported environment. The resulting environment is one in which the type system ensures the integrity of any data or program in it and is used as the basis to give both security and privacy. In addition the algebraic nature of the machine helps one to do formal reasoning about programs running in it.
Preview
Unable to display preview. Download preview PDF.
References
"Specification for the computer programming language, Pascal" BS 6192:1982 British Standards Institution
I.F.Currie, P.W.Edwards and J.M.Foster: Flex firmware, RSRE Report No. 81009, 1981.
I.F.Currie and J.M.Foster: Curt: the command language for Flex RSRE memorandum No. 3522, 1982
I.F.Currie, P.W.Edwards and J.M.Foster: PerqFlex firmware RSRE Report No. 85015, 1985.
I.F.Currie: Some IPSE aspects of the Flex project "Integrated project environments" J. McDermid (Ed). Peter Peregrinus 1985
J.M.Foster, I.F.Currie and P.W.Edwards: Flex: a working computer base on procedure values Proc. of international workshop on high-level architecture, pp 181 185, Fort Lauderdale, Florida (Dec 1982)
J.M.Foster, I.F.Currie: Remote Capabilities to appear Computer Journal 1987
M.J. Gordon, A.J. Milner, C.P. Wadsworth "Edinburgh LCF" Springer-Verlag (Berlin 1979)
J. Ichbiah et al. "Reference Manual for the Ada programming Language" U.S Dept Of Defence 1983. Ada is a registered trade mark of the US DOD
Edward Arnold (London 82) P.M.Woodward,S.G.Bond, "Guide to ALGOL 68"
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Currie, I.F., Foster, J.M., Core, P.W. (1987). Ten15: an abstract machine for portable environments. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022107
Download citation
DOI: https://doi.org/10.1007/BFb0022107
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18712-7
Online ISBN: 978-3-540-48117-1
eBook Packages: Springer Book Archive