Two-level semantics and abstract interpretation

DOI10.1016/0304-3975(89)90091-1MaRDI QIDQ911319zbMATH OpenOpenAlexFDO

Authors Flemming Nielson

Publication date 1989

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

Full work available at URL https://doi.org/10.1016/0304-3975(89)90091-1

zbMATH Keywords

abstract interpretation theorycompile-time data typesrun-time data typesScott-Strachey denotational semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Two-Level Functional Languages
• Two-level semantics and code generation
• scientific article; zbMATH DE number 3947598
• Two-level languages for program optimization
• scientific article; zbMATH DE number 3938527

Cites work

• scientific article; zbMATH DE number 3808933 (Why is no real title available?)
• scientific article; zbMATH DE number 3817015 (Why is no real title available?)
• scientific article; zbMATH DE number 3817067 (Why is no real title available?)
• scientific article; zbMATH DE number 3938527 (Why is no real title available?)
• scientific article; zbMATH DE number 3938547 (Why is no real title available?)
• scientific article; zbMATH DE number 3938555 (Why is no real title available?)
• scientific article; zbMATH DE number 3942989 (Why is no real title available?)
• scientific article; zbMATH DE number 3942992 (Why is no real title available?)
• scientific article; zbMATH DE number 3942997 (Why is no real title available?)
• scientific article; zbMATH DE number 3947598 (Why is no real title available?)
• scientific article; zbMATH DE number 3947602 (Why is no real title available?)
• scientific article; zbMATH DE number 4011905 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3725663 (Why is no real title available?)
• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3490449 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 1988982 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A Powerdomain Construction
• A general purpose macrogenerator
• Algebraic specification of data types: A synthetic approach
• Automatic binding time analysis for a typed -calculus
• Can programming be liberated from the von Neumann style?
• Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
• Control Flow Aspects of Semantics-Directed Compiling
• Data Types as Lattices
• Deriving Target Code as a Representation of Continuation Semantics
• On the power of list iteration
• Program transformations in a denotational setting
• Strictness analysis for higher-order functions
• The Category-Theoretic Solution of Recursive Domain Equations
• The tensor product of continuous lattices
• The λ-calculus is ω-incomplete
• Two-level semantics and code generation

Cited in

(23)

• Representing Control: a Study of the CPS Transformation
• Kleene's Logic with equality
• Precise goal-independent abstract interpretation of constraint logic programs.
• MetaML and multi-stage programming with explicit annotations
• The reduced relative power operation on abstract domains
• Two-level Grammar as a Functional Programming Language
• scientific article; zbMATH DE number 3938527 (Why is no real title available?)
• scientific article; zbMATH DE number 3942989 (Why is no real title available?)
• Program verification: state of the art, problems, and results. I
• Extracting program logics from abstract interpretations defined by logical relations
• Two-level semantics and code generation
• Representing Control: a Study of the CPS Transformation
• On-line and off-line partial evaluation: semantic specifications and correctness proofs
• A new abstraction framework for affine transformers
• Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^†
• Semantics-directed program analysis: a tool-maker's perspective
• A security flow control algorithm and its denotational semantics correctness proof
• Two-level grammar as an implementable metalanguage for axiomatic semantics
• Two-level languages for program optimization
• Sound bit-precise numerical domains
• Two-Level Functional Languages
• Using transformations in the implementation of higher-order functions
• scientific article; zbMATH DE number 3978369 (Why is no real title available?)

This page was built for publication: Two-level semantics and abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911319)