John Boyland
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Giuseppe Castagna | [5] [6] |
2 | Edwin C. Chan | [8] |
3 | Dave Clarke | [34] |
4 | Mohamed ElBendary | [36] |
5 | Helmut Emmelmann | [1] |
6 | Manuel Fähndrich | [7] |
7 | Charles Farnum | [2] |
8 | Christopher W. Fraser | [1] |
9 | Susan L. Graham | [2] [3] |
10 | Aaron Greenhouse | [11] [12] |
11 | Görel Hedin | [24] [33] |
12 | Gary T. Leavens | [34] |
13 | Francesco Logozzo | [34] |
14 | Ethan V. Munson | [17] [18] [19] [20] [21] [22] [26] [27] [28] [29] |
15 | Tien Nhut Nguyen | [17] [18] [19] [20] [21] [22] [26] [27] [28] [29] |
16 | James Noble | [14] |
17 | Arnd Poetzsch-Heffter | [34] |
18 | William Retert | [14] [25] |
19 | William L. Scherlis (Bill Scherlis) | [8] |
20 | Anthony Sloane | [32] |
21 | Cheng Thao | [19] [20] [22] [26] [27] [28] [29] |
22 | Tian Zhao | [30] |
23 | Yang Zhao | [35] |