'Axiomatic basis' presentation slideshows

CSC 490 - Senior Seminar I

414 views • 25 slides

Checking correctness properties of object-oriented programs

Checking correctness properties of object-oriented programs. K. Rustan M. Leino Microsoft Research, Redmond, WA. Lecture 1 EEF summer school on Specification, Refinement, and Verification 20 Aug 2002, Turku, Finland. Exercise. Implement a union-find class in Java and check it with ESC/Java.

287 views • 19 slides

Faculty Disagreement about the Teaching of Quantum Mechanics

Faculty Disagreement about the Teaching of Quantum Mechanics. Michael Dubson + , Steve Goldhaber + , Steven Pollock + , and Katherine Perkins* + + Physics Dept and *Science Education Initiative U. of Colorado at Boulder. Introduction.

302 views • 14 slides