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
312009
The billion-dollar fix
M Servetto, J Mackay, A Potanin, J Noble
European Conference on Object-Oriented Programming, 205-229, 2013
252013
Flattening versus direct semantics for Featherweight Jigsaw
G Lagorio, M Servetto, E Zucca
Proc. of FOOL, 2009
222009
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
192012
DeepFJig: modular composition of nested classes
A Corradi, M Servetto, E Zucca
Proceedings of the 9th International Conference on Principles and Practice …, 2011
172011
An Imperative Pure Calculus.
A Capriccioli, M Servetto, E Zucca
Electr. Notes Theor. Comput. Sci. 322, 87-102, 2016
152016
Aliasing control in an imperative pure calculus
M Servetto, E Zucca
Asian Symposium on Programming Languages and Systems, 208-228, 2015
122015
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
102017
Types for Immutability and Aliasing Control.
P Giannini, M Servetto, E Zucca
ICTCS 16, 62-74, 2016
102016
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
102013
Strong exception-safety for checked and unchecked exceptions.
G Lagorio, M Servetto
Journal of Object Technology 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
72017
A meta-circular language for active libraries
M Servetto, E Zucca
Science of Computer Programming 95, 219-253, 2014
62014
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
52018
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
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
52010
Customizable composition operators for Java-like classes.
G Lagorio, M Servetto, E Zucca
ICTCS, 136-142, 2009
42009
A syntactic model of mutation and aliasing
P Giannini, M Servetto, E Zucca
arXiv preprint arXiv:1904.10107, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20