Ptolemy: A Language with Quantified, Typed Events.

Hridesh Rajan, Gary T. Leavens

Browse the full ECOOP paper archive.