Work

On program synthesis knowledge

Year: 1978

Type: article

Source: Artificial Intelligence

DOI: 10.1016/s0004-3702(78)80016-2

Authors: Cordell Green, David Barstow

Institutions: Stanford University, Yale University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1996508547

FWCI: 8.776

Cites: 18

Cited by: 74

Related to: 10