John Tang Boyland

John Boyland

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

Coauthor Index

1	Giuseppe Castagna	[5] [6]
2	Edwin C. Chan	[8]
3	Dave Clarke	[34]
4	Helmut Emmelmann	[1]
5	Manuel Fähndrich	[7]
6	Charles Farnum	[2]
7	Christopher W. Fraser	[1]
8	Susan L. Graham	[2] [3]
9	Aaron Greenhouse	[11] [12]
10	Görel Hedin	[24] [33]
11	Gary T. Leavens	[34]
12	Francesco Logozzo	[34]
13	Ethan V. Munson	[17] [18] [19] [20] [21] [22] [26] [27] [28] [29]
14	Tien Nhut Nguyen	[17] [18] [19] [20] [21] [22] [26] [27] [28] [29]
15	James Noble	[14]
16	Arnd Poetzsch-Heffter	[34]
17	William Retert	[14] [25]
18	William L. Scherlis (Bill Scherlis)	[8]
19	Anthony Sloane	[32]
20	Cheng Thao	[19] [20] [22] [26] [27] [28] [29]
21	Tian Zhao	[30]

Colors in the list of coauthors