Two-level semantics and code generation

DOI10.1016/0304-3975(86)90006-XzbMath0632.68007OpenAlexW2059019165MaRDI QIDQ1095636

Flemming Nielson, Hanne Riis Nielson

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90006-x

zbMATH Keywords

correctnessrecursionloopdata flow analysisrun-timecompile-timeKripke-like relationssemantics of PASCAL-like languagestwo-level denotational metalanguage

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

On the transformation between direct and continuation semantics ⋮ Representing Control: a Study of the CPS Transformation ⋮ From operational semantics to abstract machines ⋮ Action Algebras and Model Algebras in Denotational Semantics ⋮ Synthesizable high level hardware descriptions ⋮ Static consistency checking for Verilog wire interconnects ⋮ Two-level semantics and abstract interpretation ⋮ Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^† ⋮ Using transformations in the implementation of higher-order functions ⋮ Representing Control: a Study of the CPS Transformation ⋮ MetaML and multi-stage programming with explicit annotations ⋮ Semantics-directed program analysis: A tool-maker's perspective

Cites Work

• Programming languages and their definition. Selected papers ed. by C. B. Jones
• More on advice on structuring compilers and proving them correct
• Control Flow Aspects of Semantics-Directed Compiling
• On the power of list iteration
• Deriving Target Code as a Representation of Continuation Semantics
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• Can programming be liberated from the von Neumann style?
• An order-algebraic definition of knuthian semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item