Decision Procedures for Set-Valued Fields
Open Access
- 24 May 2005
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 131, 51-62
- https://doi.org/10.1016/j.entcs.2005.01.022
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Decision Procedures for Set-Valued FieldsElectronic Notes in Theoretical Computer Science, 2005
- Verification of Object-Oriented Programs with Invariants.The Journal of Object Technology, 2004
- Generalized Records and Spatial Conjunction in Role LogicLecture Notes in Computer Science, 2004
- Pointer Analysis in the Presence of Dynamic Class LoadingLecture Notes in Computer Science, 2004
- Theorem Proving Using Lazy Proof ExplicationLecture Notes in Computer Science, 2003
- Declaring and checking non-null types in an object-oriented languagePublished by Association for Computing Machinery (ACM) ,2003
- AlloyACM Transactions on Software Engineering and Methodology, 2002
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Ownership types for flexible alias protectionPublished by Association for Computing Machinery (ACM) ,1998
- Complexity of Boolean algebrasTheoretical Computer Science, 1980