@dblp

Semantic predicate types and approximation for class-based object oriented programming.

, and . FTfJP@ECOOP, page 3:1-3:7. ACM, (2009)

Links and resources

Tags