Knowledge and reasoning in program synthesis
type: Item
instance of: scholarly article
title: Knowledge and reasoning in program synthesis
zbMATH Open document ID: 0303.68012
DOI: 10.1016/0004-3702(75)90008-9
author: Zohar Manna
author: Richard Waldinger
published in: Artificial Intelligence
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68T10
zbMATH DE Number: 3474934
MaRDI profile type: Publication
full work available at URL: 0004-3702(75)90008-9
OpenAlex ID: W2003879744
Wikidata QID: Q56288494
cites work: Q4178463
cites work: Q5584402
cites work: Q5721424
cites work: An axiomatic basis for computer programming
cites work: Q3862380
cites work: Q4124327
cites work: Toward automatic program synthesis
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Experiments with a Heuristic Compiler
description: scientific article; zbMATH DE number 3474934