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
boyland@cs.uwm.edu