CS Colloquium 10/4 Prof. Philippe Meunier
An Abstract Interpretation Framework for the Scheme Programming Language- to Help eliable sofware
- SW Engineering purpose - process, testing improve.
- False positive? (formal method of reliable software)
- Abstract interpretation (Key of today lecture)
- Galois connection - Abstraction
- Higher-order PLs?
- Why he want Hashcons? What is Hashcons?