Synthesising recursive functions with side effects

DOI10.1016/0004-3702(80)90001-6MaRDI QIDQ1143825zbMATH OpenOpenAlexFDO

Authors Ria Follett

Publication date 1980

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(80)90001-6

zbMATH Keywords

automatic program synthesisplan synthesis

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of software (68N99)

Cites work

• scientific article; zbMATH DE number 3878372 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• Programming as a Discipline of Mathematical Nature
• STRIPS: A new approach to the application of theorem proving to problem solving
• Toward automatic program synthesis

Cited in

(1)

• Synthetic programming

This page was built for publication: Synthesising recursive functions with side effects

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