Follow
Marco Servetto
Marco Servetto
Lecturer in Engineering and Computer Science, ECS VUW
Verified email at ecs.vuw.ac.nz - Homepage
Title
Cited by
Cited by
Year
The billion-dollar fix: safe modular circular initialisation with placeholders and placeholder types
M Servetto, J Mackay, A Potanin, J Noble
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
402013
Featherweight jigsaw: A minimal core calculus for modular composition of classes
G Lagorio, M Servetto, E Zucca
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
362009
Balloon types for safe parallelisation over arbitrary object graphs
M Servetto, DJ Pearce, L Groves, A Potanin
Workshop on Determinism and Correctness in Parallel Programming (WoDet) 107, 2013
262013
Featherweight jigsaw—replacing inheritance by composition in java-like languages
G Lagorio, M Servetto, E Zucca
Information and Computation 214, 86-111, 2012
222012
Flattening versus direct semantics for Featherweight Jigsaw
G Lagorio, M Servetto, E Zucca
Proc. Workshop on Foundations of Object-Oriented Languages (FOOL), 2009
222009
DeepFJig: modular composition of nested classes
A Corradi, M Servetto, E Zucca
Proceedings of the 9th International Conference on Principles and Practice …, 2011
192011
An imperative pure calculus
A Capriccioli, M Servetto, E Zucca
Electronic Notes in Theoretical Computer Science 322, 87-102, 2016
182016
Flexible recovery of uniqueness and immutability
P Giannini, M Servetto, E Zucca, J Cone
Theoretical Computer Science 764, 145-172, 2019
152019
Aliasing control in an imperative pure calculus
M Servetto, E Zucca
Asian Symposium on Programming Languages and Systems, 208-228, 2015
132015
Types for immutability and aliasing control
P Giannini, M Servetto, E Zucca
CEUR Workshop Proceedings 1720, 62-74, 2016
122016
True small-step reduction for imperative object oriented languages
M Servetto, L Groves
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs …, 2013
122013
Strong exception-safety for checked and unchecked exceptions.
G Lagorio, M Servetto
J. Object Technol. 10 (1), 1-20, 2011
122011
MetaFJig: a meta-circular composition language for Java-like classes
M Servetto, E Zucca
Proceedings of the ACM international conference on Object oriented …, 2010
122010
Tracing sharing in an imperative pure calculus
P Giannini, M Servetto, E Zucca
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs …, 2017
82017
A type and effect system for sharing
P Giannini, M Servetto, E Zucca
Proceedings of the Symposium on Applied Computing, 1513-1515, 2017
72017
Classless java
Y Wang, H Zhang, BCS Oliveira, M Servetto
ACM SIGPLAN Notices 52 (3), 14-24, 2016
72016
A meta-circular language for active libraries
M Servetto, E Zucca
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
72013
Coeffects for sharing and mutation
R Bianchini, F Dagnino, P Giannini, E Zucca, M Servetto
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 870-898, 2022
62022
A type and effect system for uniqueness and immutability
P Giannini, M Servetto, E Zucca
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1038-1045, 2018
62018
Strong exception-safety for Java-like languages
G Lagorio, M Servetto
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010
62010
The system can't perform the operation now. Try again later.
Articles 1–20