John Boyland Papers on DiSC'04 Configuration management in a hypermedia-based software development environment Publications Note: Links lead to the DBLP on the Web. John Boyland Tien Nguyen , Ethan V. Munson , John Boyland: Configuration management in a hypermedia-based software development environment. Hypertext 2003 : 194-195 John Boyland: Checking Interference with Fractional Permissions. SAS 2003 : 55-72 John Boyland: Incremental Evaluators for Remote Attribute Grammars. Electr. Notes Theor. Comput. Sci. 65 (3): (2002) John Boyland, James Noble , William Retert : Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. ECOOP 2001 : 2-27 John Boyland: Alias burying: Unique variables without destructive reads. Softw., Pract. Exper. 31 (6): 533-553 (2001) Aaron Greenhouse , John Boyland: An Object-Oriented Effects System. ECOOP 1999 : 205-229 John Boyland, Aaron Greenhouse : MayEqual: A New Alias Question. ECOOP Workshops 1999 : 141-143 John Boyland: Alias Killing: Unique Variables without Destructive Reads. ECOOP Workshops 1999 : 148-149 John Boyland: Analyzing Direct Non-local Dependencies in Attribute Grammars. CC 1998 : 31-49 Edwin C. Chan , John Boyland, William L. Scherlis : Promises: Limited Specifications for Analysis and Manipulation. ICSE 1998 : 167-176 Manuel Fähndrich , John Boyland: Statically Checkable Pattern Abstractions. ICFP 1997 : 75-84 John Boyland, Giuseppe Catsagna : Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA 1997 : 66-76 John Boyland, Giuseppe Castagna : Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996 : 3-25 John Boyland: Conditional Attribute Grammars. ACM Trans. Program. Lang. Syst. 18 (1): 73-108 (1996) John Boyland, Susan L. Graham : Composing Tree Attributions. POPL 1994 : 375-388 John Boyland, Charles Farnum , Susan L. Graham : Attributed Transformational Code Generation for Dynamic Compilers. Code Generation 1991 : 227-254 Christopher W. Fraser , John Boyland, Helmut Emmelmann : Discussion: Code Generator Specification Techniques. Code Generation 1991 : 66-69 1 [ 5 ] 2 [ 6 ] 3 [ 8 ] 4 [ 1 ] 5 [ 7 ] 6 [ 2 ] 7 [ 1 ] 8 [ 2 ] [ 3 ] 9 [ 11 ] [ 12 ] 10 [ 17 ] 11 [ 17 ] 12 [ 14 ] 13 [ 14 ] 14 [ 8 ] ©2004 Association for Computing Machinery