The abstract domain of Trapezoid Step Functions
- Agostino Cortesi
- Giulia Costantini
- et al.
- 2015
- Comput. Lang. Syst. Struct.
Publications
Date
Featured collections
Popular topics
3 results at Comput. Lang. Syst. Struct.
Ferret: Programming language support for multiple dynamic classification
- Bard Bloom
- Paul Keyser
- et al.
- 2009
- Comput. Lang. Syst. Struct.
Access Enhancement Objects for data management in Smalltalk
- A. Demaid
- S. Ogden
- et al.
- 2006
- Comput. Lang. Syst. Struct.