Work

Detecting conflicts between structure accesses

Year: 1988

Type: conference-paper

Abstract: Two references to a record structure conflict if they access the same field and at least one modifies the location. Because structures can be connected by pointers, deciding if two statements conflict requires knowledge of the possible aliases for the locations that they access.

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

DOI: 10.1145/53990.53993

Authors: J. R. Larus, P. N. Hilfinger

Institution: University of California, Berkeley

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4230766819

FWCI: 3.672

Cites: 15

Cited by: 162

Related to: 10