×

Problems of verification of functional programs. (English) Zbl 1204.68128

Summary: Program verification arguments are considered together with structural and transfinite induction methods. The nature of an abstract program for the functional language LISP and its mechanical verification problems are discussed.

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68N15 Theory of programming languages
68N18 Functional programming and lambda calculus
PDFBibTeX XMLCite