46 search results - page 10 / 10 » Automatic Coding Rule Conformance Checking Using Logic Progr... |
127
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...