Proving Theorems about LISP Functions (1975)

Cached

Download Links

by Robert S. Boyer , J Strother Moore
Citations:52 - 2 self

Documents Related by Co-Citation

573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
576 Assigning meanings to programs – R W Floyd
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
478 The calculus of constructions – G Huet Coquand - 1988
579 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1507 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
536 A lattice-theoretical fixpoint theorem and its applications – Alfred Tarski - 1955