Work

Data types and program correctness

Year: 1975

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/987305.987309

Author: Barbara H. Liskov

Institution: Massachusetts Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4246924273

FWCI: 0.41

Cites: 6

Cited by: 3

Related to: 10