A structured approach to static semantics correctness

This publication has 15 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Denotational semantics: The scott-strachey approach to programming language theory: Joseph E. Stoy (The MIT Press, Cambridge, MA)
  Computer Languages, 1983
• More on advice on structuring compilers and proving them correct
  Theoretical Computer Science, 1981
• Gordon, M. J. C., The Denotational Description of Programming Languages. An Introduction. Berlin-Heidelberg-New York, Springer-Verlag 1979. V, 160 S., DM 18,60, US $10.30. ISBN 3-540-90433-6
  ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1980
• A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS
  ACM Transactions on Programming Languages and Systems, 1979
• Power domains
  Journal of Computer and System Sciences, 1978
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A model for type checking
  Communications of the ACM, 1972
• Calculating properties of programs by valuations on specific models
  ACM SIGPLAN Notices, 1972