Towards a nonstandard analysis of programs

This publication has 8 references indexed in Scilit:

• Data types as lattices
  Published by Springer Nature ,2006
• Ideale Punkte, Monaden und Nichtstandard-Methoden
  Published by Springer Nature ,1982
• Programs and program verifications in a general setting
  Theoretical Computer Science, 1981
• A characterization of Floyd-provable programs
  Lecture Notes in Computer Science, 1981
• LAR: A logic of algorithmic reasoning
  Acta Informatica, 1977
• Internal set theory: A new approach to nonstandard analysis
  Bulletin of the American Mathematical Society, 1977
• Procedures and parameters: An axiomatic approach
  Lecture Notes in Mathematics, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969