Work

Automatic generation of programs containing conditional statements

Year: 1974

Type: article

Source: Artificial Intelligence and the Simulation of Behaviour

Authors: D Luckham, Jack R. Buchanan

Institutions: Stanford University, Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2566839042

FWCI: 2.836

Cites: 7

Cited by: 10

Related to: 10