Name
Abstract | ||
|---|---|---|
We present a virtual machine architecture designed to provide an executional interpretation for a major subset of the Generalised Substitution Language and its probabilistic extension pGSL, including bounded non-determinism and infeasible operations. The virtual machine techniques we use to support abstract program execution are reversible execution and execution cloning. The architecture we propose will also allow the efficient execution of concrete programs, and a free mixture of abstract and concrete components, so it is possible to envisage a blurring of the distinction between the animation of a specification and the execution of its implementation. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1007/3-540-44525-0_23 | ZB |
Keywords | DocType | ISBN |
abstract program execution,generalised substitution language,efficient execution,bounded non-determinism,execution architecture,virtual machine architecture,concrete component,concrete program,execution cloning,virtual machine technique,reversible execution,virtual machine | Conference | 3-540-67944-8 |
Citations | PageRank | References |
1 | 0.39 | 9 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bill Stoddart | 1 | 135 | 15.69 |