Translate imperative code into LISP code for their verification

MaRDI QIDQ2869700zbMATH OpenFDO

Authors Natela Archvadze, G. S. Silagadze, Merab Pkhovelishvili, Lia Shetsiruli

Publication date 3 January 2014

Published in Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Translating lambda calculus into C++ templates
• What is Lisp
• A LISP programming exercise
• scientific article; zbMATH DE number 2112432
• The function of T and NIL in LISP

This page was built for publication: Translate imperative code into LISP code for their verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2869700)