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 | 42 | 2013 |
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 | 36 | 2009 |
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 | 26 | 2013 |
Featherweight jigsaw—replacing inheritance by composition in java-like languages G Lagorio, M Servetto, E Zucca Information and Computation 214, 86-111, 2012 | 23 | 2012 |
Flattening versus direct semantics for Featherweight Jigsaw G Lagorio, M Servetto, E Zucca Proc. Workshop on Foundations of Object-Oriented Languages (FOOL), 2009 | 22 | 2009 |
DeepFJig: modular composition of nested classes A Corradi, M Servetto, E Zucca Proceedings of the 9th International Conference on Principles and Practice …, 2011 | 19 | 2011 |
An imperative pure calculus A Capriccioli, M Servetto, E Zucca Electronic Notes in Theoretical Computer Science 322, 87-102, 2016 | 18 | 2016 |
Flexible recovery of uniqueness and immutability P Giannini, M Servetto, E Zucca, J Cone Theoretical Computer Science 764, 145-172, 2019 | 16 | 2019 |
Types for immutability and aliasing control P Giannini, M Servetto, E Zucca CEUR Workshop Proceedings 1720, 62-74, 2016 | 14 | 2016 |
Aliasing control in an imperative pure calculus M Servetto, E Zucca Asian Symposium on Programming Languages and Systems, 208-228, 2015 | 13 | 2015 |
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 | 12 | 2013 |
Strong exception-safety for checked and unchecked exceptions. G Lagorio, M Servetto J. Object Technol. 10 (1), 1-20, 2011 | 12 | 2011 |
MetaFJig: a meta-circular composition language for Java-like classes M Servetto, E Zucca Proceedings of the ACM international conference on Object oriented …, 2010 | 12 | 2010 |
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 | 9 | 2017 |
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 | 8 | 2022 |
A type and effect system for sharing P Giannini, M Servetto, E Zucca Proceedings of the Symposium on Applied Computing, 1513-1515, 2017 | 7 | 2017 |
Classless java Y Wang, H Zhang, BCS Oliveira, M Servetto ACM SIGPLAN Notices 52 (3), 14-24, 2016 | 7 | 2016 |
A meta-circular language for active libraries M Servetto, E Zucca Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 7 | 2013 |
Immutability and Encapsulation for Sound OO Information Flow Control T Runge, M Servetto, A Potanin, I Schaefer ACM Transactions on Programming Languages and Systems 45 (1), 1-35, 2023 | 6 | 2023 |
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 | 6 | 2018 |