Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,272,592 papers from all fields of science
Search
Sign In
Create Free Account
Ten15
Ten15 is an algebraically specified abstract machine. It was developed by Foster, Currie et al. at the Royal Signals and Radar Establishment at…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Abstract machine
Architecture Neutral Distribution Format
Capability-based security
Flex machine
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2007
Review
2007
An evaluation of the Ten 15 persistent store
Tim Blanchard
,
J. Mcdermid
2007
Corpus ID: 14187349
Persistent programming languages provide abstract mechanisms which completely describe the storage and retrieval of long term…
Expand
Review
1991
Review
1991
Trial Implementation of a Secure Application Using Ten15
Elizabeth R. Bilsby
1991
Corpus ID: 60157732
Abstract : This report describes the implementation of a subset of the SERCUS demonstration in the abstract algebraically defined…
Expand
1991
1991
Ten15 Developments to Support Parallelism
P. Edwards
,
D. Tombs
,
D. I. Bruce
1991
Corpus ID: 59997306
Abstract : This paper summarises the work done at RSRE as part of the COOTS collaborative project (IED3/1/1059, part funded by…
Expand
1991
1991
The Evolution of Ten15
D. Tombs
,
D. I. Bruce
1991
Corpus ID: 57264960
1990
1990
The Ten15 project (software development)
N. Peeling
1990
Corpus ID: 62068661
Describes the background and progress of the Ten15 project at RSRE. The emphasis centres on the potential advantages to the…
Expand
1989
1989
The algebraic specification of a target machine: Ten15
J. M. Foster
1989
Corpus ID: 54151850
Ten15 is a formally defined abstract machine and a target for high-level language compilers. It provides a basis for formal…
Expand
Review
1988
Review
1988
Ten15 as a basis for PCTE(+) implementation
P. Core
1988
Corpus ID: 60512335
Ten15 is an advanced portable systems kernel in the form of an abstract machine. The programs of the Ten15 machine are…
Expand
Review
1987
Review
1987
Ada Tasking in Ten15.
D. Tombs
1987
Corpus ID: 60427944
Abstract : Ten15 is an algebraic abstract machine which can also be considered as a structured, strongly-typed code used to…
Expand
Review
1986
Review
1986
TEN15: An Overview,
P. Core
,
J. M. Foster
1986
Corpus ID: 60011185
Abstract : Ten15 is a strongly typed, algebraic abstract machine. It is in use as the target machine of several compilers. The…
Expand