On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Two-Level Functional Languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic autoprojection of higher order recursive equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract Interpretation, Logical Relations, and Kan Extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic binding time analysis for a typed \(\lambda\)-calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-level semantics and abstract interpretation / rank | |||
Normal rank |
Latest revision as of 12:28, 24 May 2024
scientific article; zbMATH DE number 885101
Language | Label | Description | Also known as |
---|---|---|---|
English | On-line and off-line partial evaluation: semantic specifications and correctness proofs |
scientific article; zbMATH DE number 885101 |
Statements
On-line and off-line partial evaluation: semantic specifications and correctness proofs (English)
0 references
12 September 1996
0 references
semantic specifications
0 references
core semantics
0 references
logical relations
0 references