From operational semantics to abstract machines (Q4279254): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: John Hannan / rank | |||
Property / author | |||
Property / author: Dale A. Miller / rank | |||
Property / author | |||
Property / author: John Hannan / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Dale A. Miller / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-level semantics and code generation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The system \({\mathcal F}\) of variable types, fifteen years later / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A formulation of the simple theory of types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The categorical abstract machine / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3886868 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Mechanical Evaluation of Expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4722037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deriving Target Code as a Representation of Continuation Semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:05, 22 May 2024
scientific article; zbMATH DE number 502861
Language | Label | Description | Also known as |
---|---|---|---|
English | From operational semantics to abstract machines |
scientific article; zbMATH DE number 502861 |
Statements
From operational semantics to abstract machines (English)
0 references
31 October 1994
0 references
correctness of programming language implementations
0 references
abstract machines
0 references
operational semantics
0 references
intermediate-level specifications
0 references
machine- verified correctness proofs
0 references
untyped \(\lambda\)-calculus
0 references