2009 |
36 | EE | Mohamed ElBendary,
John Boyland:
Enhancing base-code protection in aspect-oriented programs.
FOAL 2009: 19-24 |
2008 |
35 | EE | Yang Zhao,
John Boyland:
A Fundamental Permission Interpretation for Ownership Types.
TASE 2008: 65-72 |
2007 |
34 | EE | John Boyland,
Dave Clarke,
Gary T. Leavens,
Francesco Logozzo,
Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2007: 99-107 |
33 | EE | Görel Hedin,
John Tang Boyland:
Preface.
Sci. Comput. Program. 68(2): 63 (2007) |
2006 |
32 | EE | John Boyland,
Anthony Sloane:
Preface.
Electr. Notes Theor. Comput. Sci. 164(2): 1-2 (2006) |
31 | EE | John Boyland:
Why we should not add readonly to Java (yet).
Journal of Object Technology 5(5): 5-29 (2006) |
2005 |
30 | EE | Tian Zhao,
John Tang Boyland:
Type Annotations to Improve Stack-Based Access Control.
CSFW 2005: 197-210 |
29 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Tang Boyland,
Cheng Thao:
Configuration Management for Designs of Software Systems.
ECBS 2005: 236-243 |
28 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Tang Boyland,
Cheng Thao:
Multi-level Configuration Management with Fine-grained Logical Units.
EUROMICRO-SEAA 2005: 248-257 |
27 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Tang Boyland,
Cheng Thao:
An infrastructure for development of object-oriented, multi-level configuration management services.
ICSE 2005: 215-224 |
26 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Tang Boyland,
Cheng Thao:
Structure-oriented Product Versioning.
ITCC (2) 2005: 456-461 |
25 | EE | John Tang Boyland,
William Retert:
Connecting effects and uniqueness with adoption.
POPL 2005: 283-295 |
24 | EE | John Tang Boyland,
Görel Hedin:
Preface.
Electr. Notes Theor. Comput. Sci. 141(4): 1-3 (2005) |
23 | EE | John Tang Boyland:
Remote attribute grammars.
J. ACM 52(4): 627-687 (2005) |
2004 |
22 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Boyland,
Cheng Thao:
Flexible Fine-grained Version Control for Software Documents.
APSEC 2004: 212-219 |
21 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Boyland:
The Molhado hypertext versioning system.
Hypertext 2004: 185-194 |
20 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Boyland,
Cheng Thao:
Architectural Software Configuration Management in Molhado.
ICSM 2004: 296-305 |
19 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Boyland,
Cheng Thao:
Molhado: Object-Oriented Architectural Software Configuration Management.
ICSM 2004: 510 |
18 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Boyland:
Object-oriented, structural software configuration management.
OOPSLA Companion 2004: 35-36 |
2003 |
17 | EE | Tien Nhut Nguyen,
Ethan V. Munson,
John Boyland:
Configuration management in a hypermedia-based software development environment.
Hypertext 2003: 194-195 |
16 | EE | John Boyland:
Checking Interference with Fractional Permissions.
SAS 2003: 55-72 |
2002 |
15 | EE | John Boyland:
Incremental Evaluators for Remote Attribute Grammars.
Electr. Notes Theor. Comput. Sci. 65(3): (2002) |
2001 |
14 | EE | John Boyland,
James Noble,
William Retert:
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only.
ECOOP 2001: 2-27 |
13 | | John Boyland:
Alias burying: Unique variables without destructive reads.
Softw., Pract. Exper. 31(6): 533-553 (2001) |
1999 |
12 | EE | Aaron Greenhouse,
John Boyland:
An Object-Oriented Effects System.
ECOOP 1999: 205-229 |
11 | | John Boyland,
Aaron Greenhouse:
MayEqual: A New Alias Question.
ECOOP Workshops 1999: 141-143 |
10 | | John Boyland:
Alias Killing: Unique Variables without Destructive Reads.
ECOOP Workshops 1999: 148-149 |
1998 |
9 | | John Boyland:
Analyzing Direct Non-local Dependencies in Attribute Grammars.
CC 1998: 31-49 |
8 | | Edwin C. Chan,
John Boyland,
William L. Scherlis:
Promises: Limited Specifications for Analysis and Manipulation.
ICSE 1998: 167-176 |
1997 |
7 | | Manuel Fähndrich,
John Boyland:
Statically Checkable Pattern Abstractions.
ICFP 1997: 75-84 |
6 | | John Boyland,
Giuseppe Castagna:
Parasitic Methods: An Implementation of Multi-Methods for Java.
OOPSLA 1997: 66-76 |
1996 |
5 | EE | John Boyland,
Giuseppe Castagna:
Type-Safe Compilation of Covariant Specialization: A Practical Case.
ECOOP 1996: 3-25 |
4 | EE | John Boyland:
Conditional Attribute Grammars.
ACM Trans. Program. Lang. Syst. 18(1): 73-108 (1996) |
1994 |
3 | | John Boyland,
Susan L. Graham:
Composing Tree Attributions.
POPL 1994: 375-388 |
1991 |
2 | | John Boyland,
Charles Farnum,
Susan L. Graham:
Attributed Transformational Code Generation for Dynamic Compilers.
Code Generation 1991: 227-254 |
1 | | Christopher W. Fraser,
John Boyland,
Helmut Emmelmann:
Discussion: Code Generator Specification Techniques.
Code Generation 1991: 66-69 |