Work

Automatic verification of pointer programs using monadic second-order logic

Year: 1997

Type: conference-paper

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/258915.258936

Authors: Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach, Nils Klarlund

Institutions: Aarhus University, AT&T (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2032767692

FWCI: 4.417

Cites: 23

Cited by: 91

Related to: 10