Loading...
conference paper
Generalized Records and Spatial Conjunction in Role Logic
2004
International Static Analysis Symposium
Loading...
Name
KuncakRinard04GeneralizedRecordsRoleLogic.pdf
Access type
openaccess
Size
231.35 KB
Format
Adobe PDF
Checksum (MD5)
a5d6b21a502102288947e229c9fdd5dc