John Boyland

Publication Activity (10 Years)

Years Active: 1991-2012
Publications (10 Years): 0

Top Topics

Object Oriented Software

Semantic Aspects

Web Service Discovery

Top Venues

Publications

Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland
Permission Assurance for Semantic Aspects of Design Patterns. APSEC (2012)
John Boyland, Daniel Spiewak
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
John Boyland
An Operational Semantics including "Volatile" for Safe Concurrency. J. Object Technol. 8 (4) (2009)
Yang Zhao, John Boyland
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. Australian Software Engineering Conference (2009)
Mohamed ElBendary, John Boyland
Enhancing base-code protection in aspect-oriented programs. FOAL (2009)
Yang Zhao, John Boyland
A Fundamental Permission Interpretation for Ownership Types. TASE (2008)
John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter
Formal Techniques for Java-Like Programs. ECOOP Workshops (2007)
John Boyland
Why we should not add readonly to Java (yet). J. Object Technol. 5 (5) (2006)
John Boyland, Anthony Sloane
Preface. Electron. Notes Theor. Comput. Sci. 164 (2) (2006)
Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao
Flexible Fine-grained Version Control for Software Documents. APSEC (2004)
Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao
Molhado: Object-Oriented Architectural Software Configuration Management. ICSM (2004)
Tien Nhut Nguyen, Ethan V. Munson, John Boyland
The Molhado hypertext versioning system. Hypertext (2004)
Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao
Architectural Software Configuration Management in Molhado. ICSM (2004)
Tien Nhut Nguyen, Ethan V. Munson, John Boyland
Object-oriented, structural software configuration management. OOPSLA Companion (2004)
John Boyland
Checking Interference with Fractional Permissions. SAS (2003)
Tien Nhut Nguyen, Ethan V. Munson, John Boyland
Configuration management in a hypermedia-based software development environment. Hypertext (2003)
John Boyland
Incremental Evaluators for Remote Attribute Grammars. Electron. Notes Theor. Comput. Sci. 65 (3) (2002)
John Boyland, James Noble, William Retert
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. ECOOP (2001)
John Boyland
Alias burying: Unique variables without destructive reads. Softw. Pract. Exp. 31 (6) (2001)
John Boyland, Aaron Greenhouse
MayEqual: A New Alias Question. ECOOP Workshops (1999)
Aaron Greenhouse, John Boyland
An Object-Oriented Effects System. ECOOP (1999)
John Boyland
Alias Killing: Unique Variables without Destructive Reads. ECOOP Workshops (1999)
Edwin C. Chan, John Boyland, William L. Scherlis
Promises: Limited Specifications for Analysis and Manipulation. ICSE (1998)
John Boyland
Analyzing Direct Non-local Dependencies in Attribute Grammars. CC (1998)
Manuel Fähndrich, John Boyland
Statically Checkable Pattern Abstractions. ICFP (1997)
John Boyland, Giuseppe Castagna
Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA (1997)
John Boyland
Conditional Attribute Grammars. ACM Trans. Program. Lang. Syst. 18 (1) (1996)
John Boyland, Giuseppe Castagna
Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP (1996)
John Boyland, Susan L. Graham
Composing Tree Attributions. POPL (1994)
John Boyland, Charles Farnum, Susan L. Graham
Attributed Transformational Code Generation for Dynamic Compilers. Code Generation (1991)
Christopher W. Fraser, John Boyland, Helmut Emmelmann
Discussion: Code Generator Specification Techniques. Code Generation (1991)