Two-level semantics and abstract interpretation

This publication has 17 references indexed in Scilit:

• Two-level semantics and code generation
  Theoretical Computer Science, 1988
• Automatic binding time analysis for a typed λ-calculus
  Science of Computer Programming, 1988
• Strictness analysis and denotational abstract interpretation
  Information and Computation, 1988
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• Semantics directed compiling for functional languages
  Published by Association for Computing Machinery (ACM) ,1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Program transformations in a denotational setting
  ACM Transactions on Programming Languages and Systems, 1985
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981
• The tensor product of continuous lattices
  Mathematische Zeitschrift, 1980
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978