Archvadze, Natela; Pkhovelishvili, Merab; Shetsiruli, Lia Problems of verification of functional programs. (English) Zbl 1204.68128 Bull. Georgian Natl. Acad. Sci. (N.S.) 3, No. 3, 57-60 (2009). 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 Keywords:functional programming; program verification; recursive function; induction method; LISP PDFBibTeX XMLCite \textit{N. Archvadze} et al., Bull. Georgian Natl. Acad. Sci. (N.S.) 3, No. 3, 57--60 (2009; Zbl 1204.68128)