John Boyland
John Boyland
Professor of Computer Science, University of Wisconsin-Milwaukee
Verified email at uwm.edu - Homepage
TitleCited byYear
Checking interference with fractional permissions
J Boyland
International Static Analysis Symposium, 55-72, 2003
4952003
Capabilities for sharing
J Boyland, J Noble, W Retert
European Conference on Object-Oriented Programming, 2-27, 2001
2022001
Alias burying: Unique variables without destructive reads
J Boyland
Software: Practice and Experience 31 (6), 533-553, 2001
1882001
An object-oriented effects system
A Greenhouse, J Boyland
European Conference on Object-Oriented Programming, 205-229, 1999
1321999
An infrastructure for development of object-oriented, multi-level configuration management services
TN Nguyen, EV Munson, JT Boyland
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
1092005
Parasitic methods: An implementation of multi-methods for Java
J Boyland, G Castagna
ACM SIGPLAN Notices 32 (10), 66-76, 1997
1071997
Refined criteria for gradual typing
JG Siek, MM Vitousek, M Cimini, JT Boyland
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
982015
Connecting effects and uniqueness with adoption
JT Boyland, W Retert
ACM SIGPLAN Notices 40 (1), 283-295, 2005
882005
Remote attribute grammars
JT Boyland
Journal of the ACM (JACM) 52 (4), 627-687, 2005
672005
Promises: Limited specifications for analysis and manipulation
EC Chan, JT Boyland, WL Scherlis
Proceedings of the 20th international conference on Software engineering …, 1998
641998
Semantics of fractional permissions with nesting
JT Boyland
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 22, 2010
602010
Why we should not add readonly to Java (yet).
J Boyland
Journal of Object Technology 5 (5), 5-29, 2006
502006
Conditional attribute grammars
JT Boyland
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (1), 73-108, 1996
481996
Type-safe compilation of covariant specialization: a practical case
J Boyland, G Castagna
European Conference on Object-Oriented Programming, 3-25, 1996
461996
Descriptional composition of compiler components
JT Boyland
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 1996
371996
The molhado hypertext versioning system
TN Nguyen, EV Munson, JT Boyland
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia, 185-194, 2004
322004
Composing tree attributions
J Boyland, SL Graham, SL Graham
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
321994
The interdependence of effects and uniqueness
J Boyland
Workshop on Formal Techs. for Java Programs, 2001
252001
Statically checkable pattern abstractions
M Fähndrich, J Boyland
ACM SIGPLAN Notices 32 (8), 75-84, 1997
251997
Iterators can be independent “from” their collections
J Boyland, W Retert, Y Zhao
International Workshop on Aliasing, Confinement and Ownership in object …, 2007
172007
The system can't perform the operation now. Try again later.
Articles 1–20