The Geneva convention on the treatment of object aliasing
ACM SIGPLAN OOPS Messenger
Annotating objects for transport to other worlds
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
The geneva convention on the treatment of object aliasing
Aliasing in Object-Oriented Programming
| Hi-index | 0.00 |