John Boyland

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