Inproceedings,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews