A LISP programming exercise

DOI10.1016/0020-0190(92)90097-FMaRDI QIDQ1198034zbMATH OpenFDO

Authors Jan L. A. van de Snepscheut

Publication date 16 January 1993

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

functional programmingprogram derivation

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 609124
• scientific article; zbMATH DE number 1342342
• scientific article; zbMATH DE number 3878321
• scientific article; zbMATH DE number 3874574
• scientific article; zbMATH DE number 4113939
• LISP program-size complexity
• On deriving a LISP program from its specification
• scientific article; zbMATH DE number 3928325

Cited in

(6)

• Accurate Step Counting
• Evalquote in simple Fortran: A tutorial on interpreting Lisp
• LISP program-size complexity. II
• scientific article; zbMATH DE number 4113939 (Why is no real title available?)
• Down with Emacs Lisp
• Translate imperative code into LISP code for their verification

This page was built for publication: A LISP programming exercise

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