John Tang Boyland

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 1

Top Topics

Revised Selected Papers

Semantic Constraints

Constraint Language

Multiple Criteria

Top Venues

Publications

John Tang Boyland
Evolution of SASyLF 2008-2021. CoRR (2022)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland
Refined Criteria for Gradual Typing. SNAPL (2015)
John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers
Constraint Semantics for Abstract Read Permissions. FTfJP@ECOOP (2014)
Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH (2012)
Adrian Johnstone, Anthony Sloane, John Tang Boyland
Preface. Sci. Comput. Program. 75 (1-2) (2010)
John Tang Boyland
Generating Bijections between HOAS and the Natural Numbers LFMTP (2010)
John Tang Boyland, Giuseppe Castagna
Preface. Theor. Comput. Sci. 411 (51-52) (2010)
John Tang Boyland
Semantics of fractional permissions with nesting. ACM Trans. Program. Lang. Syst. 32 (6) (2010)
Görel Hedin, John Tang Boyland
Preface. Sci. Comput. Program. 68 (2) (2007)
John Tang Boyland, Görel Hedin
Preface. Electron. Notes Theor. Comput. Sci. 141 (4) (2005)
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)
John Tang Boyland
Remote attribute grammars. J. ACM 52 (4) (2005)
Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
Structure-oriented Product Versioning. ITCC (2) (2005)
Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
Configuration Management for Designs of Software Systems. ECBS (2005)
Tian Zhao, John Tang Boyland
Type Annotations to Improve Stack-Based Access Control. CSFW (2005)
Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao
Multi-level Configuration Management with Fine-grained Logical Units. EUROMICRO-SEAA (2005)
John Tang Boyland, William Retert
Connecting effects and uniqueness with adoption. POPL (2005)