Papers/Articles/Reports

Here is a listing of papers, article and reports that I had a hand in writing. They are in reverse chronological order. Click on the title for more information.

• Yang Zhao and John Boyland. A Fundamental Permission Interpretation for Ownership Types. 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), June 2008.
• John Boyland. Semantics of Fractional Permissions with Nesting. UWM EECS Technical Report CS-07-01, December 2007.
• John Boyland, William Retert, Yang Zhao. Iterators can be Independent ``from'' Their Collections. ECOOP 2007 Workshop on Aliasing, Confinement and Ownership in object-oriented programming. July 2007.
• John Boyland. Remote Attribute Grammars. J. ACM. July 2005, 627--687.
• John Boyland. Why we should not add readonly to Java (yet). ECOOP 2005 Workshop on Formal techniques for Java-like Programs. July 2005.
  John Boyland: Why we should not add readonly to Java (yet), in Journal of Object Technology, vol. 5, no. 5, Special Issue: ECOOP 2005 Workshop FTfJP, June 2006, pages 5-29, http://www.jot.fm/issues/issue_2006_06/article1
• John Boyland. Position Paper: Handling ``Out of Memory Errors'', ECOOP 2005 Workshop on Exception Handling in object-Oriented Systems, July 2005.
• John Boyland and William Retert. Connecting Effects and Uniqueness with Adoption. Principles of Programming Languages, 283-295, January, 2005.
• John Boyland. Connecting Effects and Uniqueness with Adoption. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming. July 2003.
• John Boyland. Checking Interference with Fractional Permissions. Static Analysis: 10th International Symposium 55-72, 2003.
• William Retert and John Boyland. Interprocedural Analysis for JVML Verification Workshop on Formal Techniques for Java-like Programs, June 2002.
• John Boyland. Incremental Evaluators for Remote Attribute Grammars, Electronic Notes in Theoretical Computer Science, 63(3), 2002.
• John Boyland. The Interdependence of Effects and Uniqueness. In 3rd Workshop on Formal Techniques for Java Programs, June 2001.
• John Boyland, James Noble and William Retert. Capabilities for Aliasing. In ECOOP'01 --- Object-Oriented Programming, 15th European Conference, pages 2-27. Volume 2072 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, New York, 2001.
• John Boyland. Alias burying: Unique variables without destructive reads. Software---Practice and Experience. 31(6):533-553, May 2001.
• Aaron Greenhouse and John Boyland. An object-oriented effects system. In ECOOP'99 --- Object-Oriented Programming, 13th European Conference, pages 205-229. Volume 1628 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, New York, 1999.
• John Boyland. Analyzing Direct Non-Local Dependencies in Attribute Grammars. In Proceedings of CC '98: International Conference on Compiler Construction, pages 31-49. Volume 1383 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998.
• Edwin C. Chan, John T. Boyland and William L. Scherlis. Promises: Limited specifications for analysis and manipulation. In Proceedings of ICSE '98: International Conference on Software Engineering, pages 167-176. IEEE Computer Society, Los Alamitos, CA, 1998.
• John Boyland and Giuseppe Castagna. Parasitic Methods: An Implementation of Multi-Methods for Java. In Proceedings of OOPSLA '97: Object-Oriented Programmming Systems, Languages and Applications, pages 66-76. ACM Press, New York, October 1997.
• Manuel Fähndrich and John Boyland. Statically checkable pattern abstractions. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 75-84. ACM Press, New York, June 1997.
• John Boyland. Descriptional composition of compiler components. PhD dissertation, University of California, Berkeley, September 1996. Available as technical report UCB//CSD-96-916.
• John Boyland and Giuseppe Castagna. Type-safe compilation of covariant specialization: A practical case. In P. Cointe, editor, Proceedings of ECOOP '96: Object-oriented programming. 10th European Conference., pages 3-25. volume 1098 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1996.
• John Boyland. Conditional attribute grammars. ACM Transactions on Programming Languages and Systems, 18(1):73-108, January 1996.
• John Boyland and Susan L. Graham. Composing tree attributions. In Conference Record of the Twenty-first Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 375-388. ACM Press, New York, January 1994.
• John Boyland, Charles Farnum, and Susan L. Graham. Attributed transformational code generation for dynamic compilers. In R. Giegerich and S. L. Graham, editors, Code Generation - Concepts, Tools, Techniques. Workshops in Computer Science, pages 227-254. Springer Verlag, Berlin, 1992.

Last modified: June 23, 2003