2012

ARTICLE

 

2011

ARTICLE

 

Strong exception-safety for checked and unchecked exceptions
Marco Servetto, Giovanni Lagorio
Journal of Object Technology. pp. 1--20. vol. Volume 10no. 1. Publisher: AITO. 2011.
Abstract   Bibtex   pdf   html   

INPROCEEDINGS

 

DeepFJig - Modular composition of nested classes
Andrea Corradi, Marco Servetto, Elena Zucca
PPPJ'11 - Principles and Practice of Programming in Java. Christian W. Probst and Christian Wimmer (Eds.). pp. 101-110. Publisher: ACM Press. Series: ACM International Conference Proceeding Series. ISBN: 978-1-4503-0935-6. 2011.
Abstract   Bibtex   url   

PHDTHESIS

 

TECHREPORT

 

My billion-dollar fix
Marco Servetto
2011. Submitted for publication.
Abstract   Bibtex   pdf   

2010

ARTICLE

 

A lightweight approach to customizable composition operators for Java-like classes
Giovanni Lagorio, Marco Servetto, Elena Zucca
Electronic Notes in Theoretical Computer Science. pp. 161-177. vol. 263. Publisher: Elsevier. 2010. FACS'09 - Formal Aspects of Component Software.
Abstract   Bibtex   url   pdf   

INPROCEEDINGS

 

Strong exception-safety for Java-like languages
Marco Servetto, Giovanni Lagorio
12th Workshop on Formal Techniques for Java-like Programs. Series: ACM International Conference Proceeding Series. 2010.
Abstract   Bibtex   pdf   

 

MetaFJig - A meta-circular composition language for Java-like classes
Marco Servetto, Elena Zucca
OOPSLA'10 - ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. William R. Cook, Siobhan Clarke and Martin C. Rinard (Eds.). Publisher: ACM Press. Series: ACM Digital Library. 2010.
Abstract   Bibtex   url   

 

DeepFJig - Modular composition of nested classes
Andrea Corradi, Marco Servetto, Elena Zucca
FOOL'10 - Intl. Workshop on Foundations of Object-Oriented Languages. 2010.
Abstract   Bibtex   html   

2009

INPROCEEDINGS

 

Featherweight Jigsaw - A minimal core calculus for modular composition of classes
Giovanni Lagorio, Marco Servetto, Elena Zucca
ECOOP'09 - Object-Oriented Programming. S. Drossopoulou (Eds.). no. 5653. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Abstract   Bibtex   pdf   

 

Flattening versus direct semantics for Featherweight Jigsaw
Giovanni Lagorio, Marco Servetto, Elena Zucca
FOOL'09 - Foundations of Object-Oriented Languages. 2009.
Abstract   Bibtex   pdf   

 

Customizable composition operators for Java-like classes (extended abstract)
Giovanni Lagorio, Marco Servetto, Elena Zucca
ICTCS'09 - Italian Conference on Theoretical Computer Science. 2009.
Abstract   Bibtex   pdf   

 

|