Browse Dept. of Computer Science by Subject "object-oriented languages"
Now showing items 1-1 of 1
(2009-02)We describe a type and effect system for ensuring deterministic semantics in a concurrent object-oriented language. Our system provides several new capabilities over previous work, including support for linear arrays ...