352 search results - page 71 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
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...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...