Work

The impact of language design on the production of reliable software

Year: 1975

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/390016.808420

Authors: J. D. Gannon, J. J. Horning

Institutions: University of Maryland, College Park, University of Toronto

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2050196823

FWCI: 8.316

Cites: 44

Cited by: 46

Related to: 10