On deriving a LISP program from its specification

DOI10.1016/0167-6423(88)90014-7zbMath0632.68006OpenAlexW2122919046MaRDI QIDQ1095635

B. George

Publication date: 1988

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90014-7

zbMATH Keywords

artificial intelligence

Mathematics Subject Classification ID

Artificial intelligence (68T99) General topics in the theory of software (68N01)

This page was built for publication: On deriving a LISP program from its specification