Regular Object Types (2003)

Cached

Download Links

by Vladimir Gapeyev , Benjamin C. Pierce
Venue:In European Conference on Object-Oriented Programming (ECOOP
Citations:65 - 9 self

Active Bibliography

146 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
A Featherweight Calculus for Flow-Sensitive Type Systems in Java – David J. Pearce
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
44 Generic ownership for generic Java – Alex Potanin, James Noble, Dave Clarke, Robert Biddle - 2006
302 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
145 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
28 Safe Runtime Downcasts With Ownership Types – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
11 Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
49 Lazy Modular Upgrades in Persistent Object Stores – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman - 2003
91 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
22 External Uniqueness – Dave Clarke, Tobias Wrigstad - 2003
41 A Practical Type System and Language for Reference Immutability – Adrian Birka, Michael D. Ernst - 2004
57 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
Validation and Boolean operations for Attribute-Element Constraints – unknown authors
41 The Petri Net Markup Language – Michael Weber, Ekkart Kindler, Technische Universität München, Fakultät Für Informatik - 2000
10 SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints – Paolo Marinelli, Claudio Sacerdoti Coen, Fabio Vitali - 2004
13 Boolean operations and inclusion test for attribute-element constraints – Haruo Hosoya - 2003
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
1 A Core Calculus for Java Exceptions (Extended Abstract) – Davide Ancona, Giovanni Lagorio, Elena Zucca - 2000