John Tang Boyland

John Boyland

	2009
37		Yang Zhao, John Boyland: Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. Australian Software Engineering Conference 2009: 277-286
36		Mohamed ElBendary, John Boyland: Enhancing base-code protection in aspect-oriented programs. FOAL 2009: 19-24
	2008
35		Yang Zhao, John Boyland: A Fundamental Permission Interpretation for Ownership Types. TASE 2008: 65-72
	2007
34		John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
33		Görel Hedin, John Tang Boyland: Preface. Sci. Comput. Program. 68(2): 63 (2007)
	2006
32		John Boyland, Anthony Sloane: Preface. Electr. Notes Theor. Comput. Sci. 164(2): 1-2 (2006)
31		John Boyland: Why we should not add readonly to Java (yet). Journal of Object Technology 5(5): 5-29 (2006)
	2005
30		Tian Zhao, John Tang Boyland: Type Annotations to Improve Stack-Based Access Control. CSFW 2005: 197-210
29		Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao: Configuration Management for Designs of Software Systems. ECBS 2005: 236-243
28		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		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		Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao: Structure-oriented Product Versioning. ITCC (2) 2005: 456-461
25		John Tang Boyland, William Retert: Connecting effects and uniqueness with adoption. POPL 2005: 283-295
24		John Tang Boyland, Görel Hedin: Preface. Electr. Notes Theor. Comput. Sci. 141(4): 1-3 (2005)
23		John Tang Boyland: Remote attribute grammars. J. ACM 52(4): 627-687 (2005)
	2004
22		Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Flexible Fine-grained Version Control for Software Documents. APSEC 2004: 212-219
21		Tien Nhut Nguyen, Ethan V. Munson, John Boyland: The Molhado hypertext versioning system. Hypertext 2004: 185-194
20		Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Architectural Software Configuration Management in Molhado. ICSM 2004: 296-305
19		Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Molhado: Object-Oriented Architectural Software Configuration Management. ICSM 2004: 510
18		Tien Nhut Nguyen, Ethan V. Munson, John Boyland: Object-oriented, structural software configuration management. OOPSLA Companion 2004: 35-36
	2003
17		Tien Nhut Nguyen, Ethan V. Munson, John Boyland: Configuration management in a hypermedia-based software development environment. Hypertext 2003: 194-195
16		John Boyland: Checking Interference with Fractional Permissions. SAS 2003: 55-72
	2002
15		John Boyland: Incremental Evaluators for Remote Attribute Grammars. Electr. Notes Theor. Comput. Sci. 65(3): (2002)
	2001
14		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		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		John Boyland, Giuseppe Castagna: Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25
4		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	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] [37]

Colors in the list of coauthors