Translate imperative code into LISP code for their verification

zbMATH Open1278.68041MaRDI QIDQ2869700FDOQ2869700

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)

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

Mathematics Subject Classification ID

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

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)