×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [object invariants]
Documents
Joint work with Mike Barnett, Robert DeLine, Manuel Fahndrich, and Wolfram Schulte Verifying invariants in object-oriented programs K. Rustan M. Leino
213 views
Documents
Program Verification Using the Spec# Programming System ETAPS Tutorial K. Rustan M. Leino, Microsoft Research, Redmond Rosemary Monahan, NUIM Maynooth
218 views
Documents
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 Summer school on Formal Models
218 views
Documents
Persistent Programming with ZODB 10 th International Python Conference Alexandria, Virginia February 4, 2002 Jeremy Hylton and Barry Warsaw {jeremy,barry}@zope.com
214 views
Technology
Mini-training: Code Contract
907 views
Software
Object invariants, immutability & you full talk (v1) - AmsterdamPHP
194 views
Software
2015 04-15 object invariants, immutability & you (v2) - NijmegenPHP
141 views