Catching bugs in the web of program invariants

This publication has 13 references indexed in Scilit:

• A unified treatment of flow analysis in higher-order languages
  Published by Association for Computing Machinery (ACM) ,1995
• The semantics of future and its use in program optimization
  Published by Association for Computing Machinery (ACM) ,1995
• Dynamic typing: syntax and proof theory
  Science of Computer Programming, 1994
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• A practical soft type system for Scheme
  Published by Association for Computing Machinery (ACM) ,1994
• Abstract debugging of higher-order imperative languages
  Published by Association for Computing Machinery (ACM) ,1993
• Revised ⁴ report on the algorithmic language scheme
  ACM SIGPLAN Lisp Pointers, 1991
• Interactive parallel programming using the ParaScope Editor
  IEEE Transactions on Parallel and Distributed Systems, 1991
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975