Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating Specialized Interpreters for Modular Structural Operational Semantics |
scientific article |
Statements
Generating Specialized Interpreters for Modular Structural Operational Semantics (English)
0 references
30 November 2015
0 references
interpreter generation
0 references
structural operational semantics
0 references
modular SOS
0 references
specialization
0 references
partial evaluation
0 references
program derivation
0 references
refocusing
0 references
