John Tang Boyland

John Boyland

	2012
c32		Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland: Permission Assurance for Semantic Aspects of Design Patterns. APSEC 2012: 559-564
c31		Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland: 19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH 2012: 233-234
	2010
j13		John Boyland, Daniel Spiewak: TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator. Electr. Notes Theor. Comput. Sci. 253(7): 65-74 (2010)
j12		Adrian Johnstone, Anthony Sloane, John Tang Boyland: Preface. Sci. Comput. Program. 75(1-2): 1-2 (2010)
j11		John Tang Boyland, Giuseppe Castagna: Preface. Theor. Comput. Sci. 411(51-52): 4357 (2010)
j10		John Tang Boyland: Semantics of fractional permissions with nesting. ACM Trans. Program. Lang. Syst. 32(6) (2010)
c30		John Tang Boyland: Generating Bijections between HOAS and the Natural Numbers. LFMTP 2010: 21-35
	2009
j9		John Boyland: An Operational Semantics including "Volatile" for Safe Concurrency. Journal of Object Technology 8(4): 33-51 (2009)
c29		Yang Zhao, John Boyland: Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. Australian Software Engineering Conference 2009: 277-286
c28		Mohamed ElBendary, John Boyland: Enhancing base-code protection in aspect-oriented programs. FOAL 2009: 19-24
	2008
c27		Yang Zhao, John Boyland: A Fundamental Permission Interpretation for Ownership Types. TASE 2008: 65-72
	2007
j8		Görel Hedin, John Tang Boyland: Preface. Sci. Comput. Program. 68(2): 63 (2007)
c26		John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
	2006
j7		John Boyland, Anthony Sloane: Preface. Electr. Notes Theor. Comput. Sci. 164(2): 1-2 (2006)
j6		John Boyland: Why we should not add readonly to Java (yet). Journal of Object Technology 5(5): 5-29 (2006)
	2005
j5		John Tang Boyland, Görel Hedin: Preface. Electr. Notes Theor. Comput. Sci. 141(4): 1-3 (2005)
j4		John Tang Boyland: Remote attribute grammars. J. ACM 52(4): 627-687 (2005)
c25		Tian Zhao, John Tang Boyland: Type Annotations to Improve Stack-Based Access Control. CSFW 2005: 197-210
c24		Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao: Configuration Management for Designs of Software Systems. ECBS 2005: 236-243
c23		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
c22		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
c21		Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao: Structure-oriented Product Versioning. ITCC (2) 2005: 456-461
c20		John Tang Boyland, William Retert: Connecting effects and uniqueness with adoption. POPL 2005: 283-295
	2004
c19		Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Flexible Fine-grained Version Control for Software Documents. APSEC 2004: 212-219
c18		Tien Nhut Nguyen, Ethan V. Munson, John Boyland: The Molhado hypertext versioning system. Hypertext 2004: 185-194
c17		Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Architectural Software Configuration Management in Molhado. ICSM 2004: 296-305
c16		Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao: Molhado: Object-Oriented Architectural Software Configuration Management. ICSM 2004: 510
c15		Tien Nhut Nguyen, Ethan V. Munson, John Boyland: Object-oriented, structural software configuration management. OOPSLA Companion 2004: 35-36
	2003
c14		Tien Nhut Nguyen, Ethan V. Munson, John Boyland: Configuration management in a hypermedia-based software development environment. Hypertext 2003: 194-195
c13		John Boyland: Checking Interference with Fractional Permissions. SAS 2003: 55-72
	2002
j3		John Boyland: Incremental Evaluators for Remote Attribute Grammars. Electr. Notes Theor. Comput. Sci. 65(3): 9-29 (2002)
	2001
j2		John Boyland: Alias burying: Unique variables without destructive reads. Softw., Pract. Exper. 31(6): 533-553 (2001)
c12		John Boyland, James Noble, William Retert: Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. ECOOP 2001: 2-27
	1999
c11		Aaron Greenhouse, John Boyland: An Object-Oriented Effects System. ECOOP 1999: 205-229
c10		John Boyland, Aaron Greenhouse: MayEqual: A New Alias Question. ECOOP Workshops 1999: 141-143
c9		John Boyland: Alias Killing: Unique Variables without Destructive Reads. ECOOP Workshops 1999: 148-149
	1998
c8		John Boyland: Analyzing Direct Non-local Dependencies in Attribute Grammars. CC 1998: 31-49
c7		Edwin C. Chan, John Boyland, William L. Scherlis: Promises: Limited Specifications for Analysis and Manipulation. ICSE 1998: 167-176
	1997
c6		Manuel Fähndrich, John Boyland: Statically Checkable Pattern Abstractions. ICFP 1997: 75-84
c5		John Boyland, Giuseppe Castagna: Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA 1997: 66-76
	1996
j1		John Boyland: Conditional Attribute Grammars. ACM Trans. Program. Lang. Syst. 18(1): 73-108 (1996)
c4		John Boyland, Giuseppe Castagna: Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25
	1994
c3		John Boyland, Susan L. Graham: Composing Tree Attributions. POPL 1994: 375-388
	1991
c2		Christopher W. Fraser, John Boyland, Helmut Emmelmann: Discussion: Code Generator Specification Techniques. Code Generation 1991: 66-69
c1		John Boyland, Charles Farnum, Susan L. Graham: Attributed Transformational Code Generation for Dynamic Compilers. Code Generation 1991: 227-254

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 15:50:54 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page