A theory of generic interpreters
The work
| Authors | Windley, Phillip J. |
|---|---|
| Editors | |
| Type | misc |
| Year | 1993 |
| Also known as | anon2005theory |
| Citekey | windley1993theory |
Where it appeared
| Publisher | Springer-Verlag |
|---|
Identifiers
| DOI | 10.1007/bfb0021719 |
|---|
Access
| Landing page | https://doi.org/10.1007/bfb0021719 |
|---|---|
| Free full text | https://link.springer.com/content/pdf/10.1007%2FBFb0021719.pdf |
From unpaywall.
Abstract
We present an abstract theory of interpreters. Interpreters are models of computation that are specifically designed for use as templates in computer system specification and verification. The generic interpreter theory contains an abstract representation which serves as an interface to the theory and as a guide to specification. A set of theory obligations ensure that the theory is being used correctly and provide a guide to system verification. The genetic interpreter theory provides a methodology for deriving important definitions and lemmas that were previously obtained in a largely ad hoc fashion. Many of the complex data and temporal abstractions are done in the abstract theory and need not be redone when the theory is used.
A copy is held
pdf, 689.3 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-22 21:12 UTC |
| Approved by | a person 2026-10-22 22:41 UTC |
Cite it as
@misc{windley1993theory,
title = {A theory of generic interpreters},
author = {Windley, Phillip J.},
year = {1993},
publisher = {Springer-Verlag},
doi = {10.1007/bfb0021719},
}
This record lives at https://refs.drheap.org/windley1993theory/ and will keep
doing so. It used to be called anon2005theory, and those addresses still resolve to this one.