26 search results - page 6 / 6 » Flexible Static Semantic Checking Using First-Order Logic |
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...