A Production Rule Mechanism for Generating LISP Code

DOI10.1109/TSMC.1979.4310195MaRDI QIDQ4179806zbMATH OpenOpenAlexFDO

Authors Alan W. Biermann, Douglas R. Smith

Publication date 1979

Published in IEEE Transactions on Systems, Man, and Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tsmc.1979.4310195

zbMATH Keywords

BranchesLispProduction Rule SchemasRecursive Loops

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Automatic programming: A tutorial on formal methodologies
• Logic program synthesis from incomplete specifications

This page was built for publication: A Production Rule Mechanism for Generating LISP Code

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