Seguir
John Boyland
John Boyland
Professor of Computer Science, University of Wisconsin-Milwaukee
Dirección de correo verificada de uwm.edu - Página principal
Título
Citado por
Citado por
Año
Checking interference with fractional permissions
J Boyland
International Static Analysis Symposium, 55-72, 2003
5852003
Capabilities for sharing
J Boyland, J Noble, W Retert
European Conference on Object-Oriented Programming, 2-27, 2001
2252001
Alias burying: Unique variables without destructive reads
J Boyland
Software: Practice and Experience 31 (6), 533-553, 2001
2102001
Refined criteria for gradual typing
JG Siek, MM Vitousek, M Cimini, JT Boyland
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
1772015
An object-oriented effects system
A Greenhouse, J Boyland
European Conference on Object-Oriented Programming, 205-229, 1999
1331999
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
1212005
Parasitic methods: An implementation of multi-methods for Java
J Boyland, G Castagna
ACM SIGPLAN Notices 32 (10), 66-76, 1997
1131997
Connecting effects and uniqueness with adoption
JT Boyland, W Retert
ACM SIGPLAN Notices 40 (1), 283-295, 2005
982005
Remote attribute grammars
JT Boyland
Journal of the ACM (JACM) 52 (4), 627-687, 2005
732005
Semantics of fractional permissions with nesting
JT Boyland
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 1-33, 2010
662010
Promises: Limited specifications for analysis and manipulation
EC Chan, JT Boyland, WL Scherlis
Proceedings of the 20th international conference on Software engineering …, 1998
661998
Why we should not add readonly to Java (yet).
J Boyland
J. Object Technol. 5 (5), 5-29, 2006
562006
Conditional attribute grammars
JT Boyland
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (1), 73-108, 1996
501996
Type-safe compilation of covariant specialization: a practical case
J Boyland, G Castagna
European Conference on Object-Oriented Programming, 3-25, 1996
471996
Descriptional composition of compiler components
JT Boyland
University of California, Berkeley, 1996
431996
The molhado hypertext versioning system
TN Nguyen, EV Munson, JT Boyland
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia, 185-194, 2004
352004
Composing tree attributions
J Boyland, SL Graham
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
311994
The interdependence of effects and uniqueness
J Boyland
Workshop on Formal Techs. for Java Programs, 2001
262001
Statically checkable pattern abstractions
M Fähndrich, J Boyland
Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997
261997
The problem of structural type tests in a gradual-typed language
JT Boyland
Foundations of Object-Oriented Langauges, 2014
192014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20