Capsules and Types in Fresco: Program Verification in Smalltalk
No abstract available.
DOI 10.1007/bfb0057015
Related papers
- Efficient Sets - A Balancing Act JFP 1993
- A Type System for Smalltalk POPL 1990
- Type-Checking Smalltalk OOPSLA 1986
- A Type Declaration and Inference System for Smalltalk POPL 1982
- Inferring Types in Smalltalk POPL 1981
- TS: An Optimizing Compiler for Smalltalk OOPSLA 1988
- On the use of type predicates in object-oriented software: the case of Smalltalk DLS 2014
- Painless Panes for Smalltalk Windows OOPSLA 1987