Synthesising recursive functions with side effects

DOI10.1016/0004-3702(80)90001-6zbMath0442.68098OpenAlexW1964830626MaRDI QIDQ1143825

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)

Related Items

Synthetic programming

Cites Work

• STRIPS: A new approach to the application of theorem proving to problem solving
• Programming as a Discipline of Mathematical Nature
• Toward automatic program synthesis
• Unnamed Item
• Unnamed Item