Tobias Wrigstad
Title
Cited by
Cited by
Year
External uniqueness is unique enough
D Clarke, T Wrigstad
European Conference on Object-Oriented Programming, 176-200, 2003
2002003
External uniqueness is unique enough
DG Clarke, T Wrigstad
Technical report UU-CS, 2002
2002002
Integrating typed and untyped code in a scripting language
T Wrigstad, FZ Nardelli, S Lebresne, J ÷stlund, J Vitek
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of†…, 2010
1072010
Minimal ownership for active objects
D Clarke, T Wrigstad, J ÷stlund, EB Johnsen
Asian Symposium on Programming Languages and Systems, 139-154, 2008
832008
Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE
K Fernandez-Reyes, EB Johnsen, KI Pun, SLT Tarifa, T Wrigstad, ...
Formal Methods for Multicore Programming: 15th International School on†…, 2015
69*2015
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
Formal Methods for Multicore Programming, 1-56, 2015
692015
Tribe: a simple virtual class calculus
D Clarke, S Drossopoulou, J Noble, T Wrigstad
Proceedings of the 6th international conference on Aspect-oriented software†…, 2007
642007
Ownership Types: A Survey
D Clarke, J ÷stlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013
622013
Ownership, uniqueness, and immutability
J ÷stlund, T Wrigstad, D Clarke, B Ňkerblom
International Conference on Objects, Components, Models and Patterns, 178-197, 2008
592008
Thorn: robust, concurrent, extensible scripting on the JVM
B Bloom, J Field, N Nystrom, J ÷stlund, G Richards, R Strniša, J Vitek, ...
ACM SIGPLAN Notices 44 (10), 117-136, 2009
512009
Loci: Simple thread-locality for Java
T Wrigstad, F Pizlo, F Meawad, L Zhao, J Vitek
European Conference on Object-Oriented Programming, 445-469, 2009
512009
Ownership-Based Alias Management
T Wrigstad
Phd, Royal Institute of Technology Stockholm, 2006
412006
Reference Capabilities for Concurrency Control
E Castegren, T Wrigstad
LIPIcs-Leibniz International Proceedings in Informatics 56, 2016
392016
Reference capabilities for concurrency control
E Castegren, T Wrigstad
ECOOP 2016, July 17–22, Rome, Italy, 2016
392016
A mode system for read-only references in Java
M Skoglund, T Wrigstad
3rd Workshop on Formal Techniques for Java Programs, Budapest, Hungary, 2001
382001
External uniqueness
D Clarke, T Wrigstad
Informal Proceedings of International Workshop on Foundations of Object†…, 2003
352003
Aliasing in Object-oriented Programming: Types, Analysis and Verification
D Clarke, T Wrigstad, J Noble
Springer, 2013
322013
Aliasing in Object-oriented Programming: Types, Analysis and Verification
D Clarke, T Wrigstad, J Noble
Springer, 2013
322013
Welterweight java
J ÷stlund, T Wrigstad
International Conference on Modelling Techniques and Tools for Computer†…, 2010
292010
Existential owners for ownership types
T Wrigstad, D Clarke
Journal of Object Technology 6 (4), 141-159, 2007
292007
The system can't perform the operation now. Try again later.
Articles 1–20