Publication
On Matching Schemas Automatically
Publication
Typing a Multi-Language Intermediate Code
Publication
Inadequacy of Computable Loop Invariants
Publication
Canonical Regular Types
Publication
A Technique for Model-Based Testing of Classes
Publication