Ptolemy presented at ECOOP 2008
July 08, 2008
Links: Read the paperPtolemy at ECOOP 2008
Our paper, Ptolemy: A Language with Quantified, Typed Events, was presented at ECOOP 2008. Ptolemy uses quantified, typed events as an interface between modules, with translucid contracts that support modular reasoning about implicit invocation.