John Tang Boyland

According to our database, John Tang Boyland authored at least 48 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Evolution of SASyLF 2008-2021.

John Tang Boyland

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

2015

Refined Criteria for Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014

Constraint Semantics for Abstract Read Permissions.

John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

2013

Fractional Permissions.

John Boyland

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

2012

19th international workshop on foundations of object-oriented languages (FOOL'12).

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland

Proceedings of the SPLASH'12, 2012

Permission Assurance for Semantic Aspects of Design Patterns.

Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010

Semantics of fractional permissions with nesting.

John Tang Boyland

ACM Trans. Program. Lang. Syst., 2010

Preface.

John Tang Boyland, Giuseppe Castagna

Theor. Comput. Sci., 2010

Preface.

Adrian Johnstone, Anthony Sloane, John Tang Boyland

Sci. Comput. Program., 2010

Generating Bijections between HOAS and the Natural Numbers

John Tang Boyland

Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010

2009

An Operational Semantics including "Volatile" for Safe Concurrency.

John Boyland

J. Object Technol., 2009

TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator.

John Boyland, Daniel Spiewak

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Enhancing base-code protection in aspect-oriented programs.

Mohamed ElBendary, John Boyland

Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.

Yang Zhao, John Boyland

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

A Fundamental Permission Interpretation for Ownership Types.

Yang Zhao, John Boyland

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

Formal Techniques for Java-Like Programs.

John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006

Why we should not add readonly to Java (yet).

John Boyland

J. Object Technol., 2006

Preface.

John Boyland, Anthony Sloane

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

2005

Remote attribute grammars.

John Tang Boyland

J. ACM, 2005

Preface.

John Tang Boyland, Görel Hedin

Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Connecting effects and uniqueness with adoption.

John Tang Boyland, William Retert

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Structure-oriented Product Versioning.

Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

An infrastructure for development of object-oriented, multi-level configuration management services.

Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Multi-level Configuration Management with Fine-grained Logical Units.

Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao

Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

Configuration Management for Designs of Software Systems.

Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Type Annotations to Improve Stack-Based Access Control.

Tian Zhao, John Tang Boyland

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Object-oriented, structural software configuration management.

Tien Nhut Nguyen, Ethan V. Munson, John Boyland

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Molhado: Object-Oriented Architectural Software Configuration Management.

Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Architectural Software Configuration Management in Molhado.

Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

The Molhado hypertext versioning system.

Tien Nhut Nguyen, Ethan V. Munson, John Boyland

Proceedings of the HYPERTEXT 2004, 2004

Flexible Fine-grained Version Control for Software Documents.

Tien Nhut Nguyen, Ethan V. Munson, John Boyland, Cheng Thao

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Checking Interference with Fractional Permissions.

John Boyland

Proceedings of the Static Analysis, 10th International Symposium, 2003

Configuration management in a hypermedia-based software development environment.

Tien Nhut Nguyen, Ethan V. Munson, John Boyland

Proceedings of the HYPERTEXT 2003, 2003

2002

Incremental Evaluators for Remote Attribute Grammars.

John Boyland

Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

2001

Alias burying: Unique variables without destructive reads.

John Boyland

Softw. Pract. Exp., 2001

Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only.

John Boyland, James Noble, William Retert

Proceedings of the ECOOP 2001, 2001

1999

MayEqual: A New Alias Question.

John Boyland, Aaron Greenhouse

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Alias Killing: Unique Variables without Destructive Reads.

John Boyland

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

An Object-Oriented Effects System.

Aaron Greenhouse, John Boyland

Proceedings of the ECOOP'99, 1999

1998

Promises: Limited Specifications for Analysis and Manipulation.

Edwin C. Chan, John Boyland, William L. Scherlis

Proceedings of the Forging New Links, 1998

Analyzing Direct Non-local Dependencies in Attribute Grammars.

John Boyland

Proceedings of the Compiler Construction, 7th International Conference, 1998

1997

Parasitic Methods: An Implementation of Multi-Methods for Java.

John Boyland, Giuseppe Castagna

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Statically Checkable Pattern Abstractions.

Manuel Fähndrich, John Boyland

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

Conditional Attribute Grammars.

John Boyland

ACM Trans. Program. Lang. Syst., 1996

Type-Safe Compilation of Covariant Specialization: A Practical Case.

John Boyland, Giuseppe Castagna

Proceedings of the ECOOP'96, 1996

1994

Composing Tree Attributions.

John Boyland, Susan L. Graham

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1991

Discussion: Code Generator Specification Techniques.

Christopher W. Fraser, John Boyland, Helmut Emmelmann

Proceedings of the Code Generation, 1991

Attributed Transformational Code Generation for Dynamic Compilers.

John Boyland, Charles Farnum, Susan L. Graham

Proceedings of the Code Generation, 1991