John Boyland - Professor


Contact Information

Office Address:
EMS 925
3200 North Cramer Street
Milwaukee, WI 53211
Phone: 414-229-6986
Fax: 414-229-6958
Email: boyland@cs.uwm.edu
WWW: www.cs.uwm.edu/faculty/boyland/

Mailing Address:
P.O. Box 784
Department of Electrical Engineering and Computer Science
University of Wisconsin-Milwaukee
Milwaukee, WI 53201

 John Boyland
Education

Ph.D., University of California, Berkeley, 1996
M.S., University of California, Berkeley, 1989
B.S., University of California, Davis, 1987

Research Interests

Object-oriented programming languages, attribute grammars, pattern matching, analysis of programming languages, type systems for programming languages, extensible languages and programming environments

Selected Publications

  • John Boyland. Remote Attribute Grammars. J. ACM. July 2005, 627--687.
  • 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 and William Retert. Connecting Effects and Uniqueness with Adoption. Principles of Programming Languages, 283-295, January, 2005.
  • John Boyland. Checking Interference with Fractional Permissions. Static Analysis: 10th International Symposium 55-72, 2003.
  • 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.