Skip to content

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

Steffen van Bakel, Reuben N. S. Rowe

VenueAECOOP
Year2009
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.