Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Taking advantage of a recent relaxation of Japanese government's data release policy, we conduct a cross-national analysis of… Expand
1991
1991
Abstract : This paper summarises the work done at RSRE as part of the COOTS collaborative project (IED3/1/1059, part funded by… Expand
Review
1991
Review
1991
Abstract : This report describes the implementation of a subset of the SERCUS demonstration in the abstract algebraically defined… Expand
1990
1990
Describes the background and progress of the Ten15 project at RSRE. The emphasis centres on the potential advantages to the… Expand
1989
1989
Ten15 is a formally defined abstract machine and a target for high-level language compilers. It provides a basis for formal… Expand
Review
1989
Review
1989
This paper provides an introduction to the SMITE approach to developing high assurance secure computer systems. This approach can… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 8
Review
1988
Review
1988
Ten15 is an advanced portable systems kernel in the form of an abstract machine. The programs of the Ten15 machine are… Expand
1987
1987
Ten15 is an abstract machine which is defined algebraically with strong typing enforced throughout. The structure and operations… Expand
  • figure 1
Review
1987
Review
1987
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
Abstract : Ten15 is a strongly typed, algebraic abstract machine. It is in use as the target machine of several compilers. The… Expand