- An Operational Semantics including "Volatile" for Safe Concurrency
- To appear: Static Analysis Symposium 2003 (revision 1.1) Checking Interference with Fractional
- A Technical matter for \Checking Interference with Fractional Permissions" (SAS 2003)
- Promises: Limited Specifications for Analysis and Manipulation \Lambda
- A Fundamental Permission Interpretation for Ownership Types Nanjing University of Science and Technology
- Connecting Effects and Uniqueness with Adoption John Tang Boyland #
- The Nonlinearity of volatile in Java
- An Operational Semantics including volatile for
- Remote Attribute Grammars JOHN TANG BOYLAND
- Why we should not add readonly to Java (yet) John Boyland
- Position Paper: Handling "Out Of Memory" John Boyland
- Handling "Out of Memory" Errors John Tang Boyland
- Connecting Effects and Uniqueness with Adoption John Tang Boyland
- Lemma 2.1. Given a type-checked program g ( g : ), an expression e that type-checks (; 1 e : ; 1)
- Int'l Workshop on Aliasing, Confinement and Ownership in OOP, 2003 Connecting Effects and Uniqueness with
- Checking Interference with Fractional Permissions
- The Interdependence of Effects and Uniqueness John Boyland
- Connecting Effects and Uniqueness with Adoption
- Attributed Transformational Code Generation for Dynamic Compilers \Lambda
- proceedings Dependencies
- Semantics of Fractional Permissions with Nesting John Boyland
- Electronic Notes in Theoretical Computer Science 65 No. 3 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 21 pages
- CONCURRENCY ANALYSIS BASED ON FRACTIONAL PERMISSION SYSTEM
- Comprehending Annotations on Object-Oriented Programs using Fractional Permissions
- Parasitic Methods: An Implementation of MultiMethods for Java
- Why We Should Not Add ``Read-Only'' to Java
- EPTCS ??, 20??, pp. 115, doi:10.4204/EPTCS.??.?? Generating Bijections between HOAS and the Natural
- Vol. 8, No. 4, JulyAugust 2009 An Operational Semantics including "Volatile"
- The Interdependence of E#ects and Uniqueness # John Boyland
- SOFTWARE---PRACTICE AND EXPERIENCE Softw. Pract. Exper. 00; 0:1--18 Prepared using speauth.cls [Version: 2000/03/06 v2.1]
- Capabilities for Sharing ? A Generalisation of Uniqueness and Read-Only
- Int'l Workshop on Aliasing, Confinement and Ownership in OOP, 2003 Connecting E#ects and Uniqueness with
- proceedings Compilation
- Iterators can be Independent "from" Their Collections John Boyland
- Descriptional Composition of Compiler Components John Tang Boyland
- Lemma 2.1. Given a typechecked program g (# g : #), an expression e that typechecks (#; #1 ## e : # # # # ; # # 1 )
- Appeared in the proceedings of ECOOP '99, LNCS 1628, Springer Verlag, pp. 205--229 An ObjectOriented Effects System ?
- The Non-Linearity of volatile in JavaTM John Boyland
- IMPLEMENTING PERMISSION ANALYSIS William S Retert
