Synthesising recursive functions with side effects
type: Item
instance of: scholarly article
title: Synthesising recursive functions with side effects
zbMATH Open document ID: 0442.68098
DOI: 10.1016/0004-3702(80)90001-6
author: Ria Follett
published in: Artificial Intelligence
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 3690752
zbMATH Keywords: automatic program synthesis
zbMATH Keywords: plan synthesis
MaRDI profile type: Publication
full work available at URL: 0004-3702(80)90001-6
OpenAlex ID: W1964830626
cites work: Q3343451
cites work: Programming as a Discipline of Mathematical Nature
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Q4124327
cites work: Toward automatic program synthesis
description: scientific article; zbMATH DE number 3690752