UPSILON: universal programming system with incomplete lazy object notation
Fundamenta Informaticae
Enhancing program verifications by restricting object types
Proceedings of the 2006 ACM symposium on Applied computing
The movable point problem and its resolution in object type graphs
Proceedings of the 43rd annual Southeast regional conference - Volume 2
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Fundamenta Informaticae
A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae
Hi-index | 0.00 |