Skip to content

Enabling expressive aspect oriented modular reasoning by translucid contracts.

Mehdi Bagherzadeh

VenueAOOPSLA
Year2010
ProceedingsSPLASH/OOPSLA Companion

Browse the full OOPSLA paper archive.