Horn Clause Solvers for Program Verification

This publication has 60 references indexed in Scilit:

• Liquid types
  ACM SIGPLAN Notices, 2008
• Weakest-precondition of unstructured programs
  ACM SIGSOFT Software Engineering Notes, 2005
• Extended static checking for Java
  ACM SIGPLAN Notices, 2002
• Inadequacy of computable loop invariants
  ACM Transactions on Computational Logic, 2001
• Some characterization theorems for infinitary universal Horn logic without equality
  The Journal of Symbolic Logic, 1996
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Memoing for logic programs
  Communications of the ACM, 1992
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977