Work

Automatic programming : A tutorial on formal methodologies

Year: 1985

Type: article

Source: Journal of Symbolic Computation

DOI: 10.1016/s0747-7171(85)80010-9

Author: Alan W. Biermann

Institution: Duke University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: U.S. Air Force, Army Research Office

OpenAlex ID: W2083353540

FWCI: 4.639

Cites: 22

Cited by: 29

Related to: 10