conference paper

Generalized Records and Spatial Conjunction in Role Logic

Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2004
International Static Analysis Symposium
Loading...
Thumbnail Image
Name

KuncakRinard04GeneralizedRecordsRoleLogic.pdf

Access type

openaccess

Size

231.35 KB

Format

Adobe PDF

Checksum (MD5)

a5d6b21a502102288947e229c9fdd5dc