Semantical Analysis of Specification Logic, 2

This publication has 11 references indexed in Scilit:

• A type-theoretical alternative to ISWIM, CUCH, OWHY
  Theoretical Computer Science, 1993
• Continuations in possible-world semantics
  Theoretical Computer Science, 1991
• Reasoning about procedures as parameters in the language L4
  Information and Computation, 1989
• Functor-category semantics of programming languages and logics
  Published by Springer Nature ,1986
• Correctness of programs with Pascal-like procedures without global variables
  Theoretical Computer Science, 1984
• A logic covering undefinedness in program proofs
  Acta Informatica, 1984
• A sound and relatively complete Hoare-logic for a language with higher type procedures
  Acta Informatica, 1983
• Implementation and applications of Scott's logic for computable functions
  Published by Association for Computing Machinery (ACM) ,1972
• Procedures and parameters: An axiomatic approach
  Lecture Notes in Mathematics, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969