A Production Rule Mechanism for Generating LISP Code

DOI10.1109/TSMC.1979.4310195zbMath0396.68007OpenAlexW1991071343MaRDI QIDQ4179806

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

LispBranchesProduction Rule SchemasRecursive Loops

Mathematics Subject Classification ID

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

Related Items

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