Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Reports, Documentation, and Standards
On the Boolean Algebra of Shape Analysis Constraints
Loading...
Loading...
report
On the Boolean Algebra of Shape Analysis Constraints
Kuncak, Viktor
•
Rinard, Martin
2003
Files
Details
Metrics
Type
report
Author(s)
Kuncak, Viktor
•
Rinard, Martin
Date Issued
2003
Note
MIT CSAIL
Written at
OTHER
EPFL units
LARA
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10360