A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design.

摘要

Contents: General Introduction and Review of the Literature; The Theorem Proving System; The Dilemma Programming Language; The Geometry Program; Experimental Results; and Conclusions.