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
Featherweight jigsaw: A minimal core calculus for modular composition of classes
G Lagorio, M Servetto, E Zucca
European Conference on Object-Oriented Programming, 244-268, 2009
322009
The billion-dollar fix
M Servetto, J Mackay, A Potanin, J Noble
European Conference on Object-Oriented Programming, 205-229, 2013
282013
Flattening versus direct semantics for Featherweight Jigsaw
G Lagorio, M Servetto, E Zucca
FOOL, 2009
242009
Balloon types for safe parallelisation over arbitrary object graphs
M Servetto, DJ Pearce, L Groves, A Potanin
Proceedings of the Workshop on Determinism and Correctness in Parallel …, 2013
202013
Featherweight jigsaw—replacing inheritance by composition in java-like languages
G Lagorio, M Servetto, E Zucca
Information and Computation 214, 86-111, 2012
202012
DeepFJig: modular composition of nested classes
A Corradi, M Servetto, E Zucca
Proceedings of the 9th International Conference on Principles and Practice …, 2011
182011
An imperative pure calculus
A Capriccioli, M Servetto, E Zucca
Electronic Notes in Theoretical Computer Science 322, 87-102, 2016
172016
Aliasing control in an imperative pure calculus
M Servetto, E Zucca
Asian Symposium on Programming Languages and Systems, 208-228, 2015
132015
MetaFJig: a meta-circular composition language for Java-like classes
M Servetto, E Zucca
Proceedings of the ACM international conference on Object oriented …, 2010
132010
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
112017
Types for Immutability and Aliasing Control.
P Giannini, M Servetto, E Zucca
ICTCS 16, 62-74, 2016
112016
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
112013
Strong exception-safety for checked and unchecked exceptions.
G Lagorio, M Servetto
J. Object Technol. 10 (1), 1-20, 2011
102011
A type and effect system for sharing
P Giannini, M Servetto, E Zucca
Proceedings of the Symposium on Applied Computing, 1513-1515, 2017
82017
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
A meta-circular language for active libraries
M Servetto, E Zucca
Science of Computer Programming 95, 219-253, 2014
62014
A lightweight approach to customizable composition operators for Java-like classes
G Lagorio, M Servetto, E Zucca
Electronic Notes in Theoretical Computer Science 263, 161-177, 2010
62010
Strong exception-safety for Java-like languages
G Lagorio, M Servetto
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010
52010
Customizable composition operators for Java-like classes.
G Lagorio, M Servetto, E Zucca
ICTCS, 136-142, 2009
52009
Flexible recovery of uniqueness and immutability
P Giannini, M Servetto, E Zucca, J Cone
Theoretical Computer Science 764, 145-172, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20