[an error occurred while processing this directive] [an error occurred while processing this directive]Publications - Giovanni Lagorio - DISI

DISI -> People -> Faculty [an error occurred while processing this directive] -> Giovanni Lagorio -> Publications

Publications

My PhD thesis can be found here: PDF or PS.

[1]	Jam - Designing a Java Extension with Mixins (pdf) D.Ancona, G.Lagorio and E.Zucca In ACM Transactions on Programming Languages and Systems, vol. 25(5), pages 641-712, ACM press, 2003. This is an extended version of [2].

[2]	Jam: A smooth extension of Java with mixins (compressed postscript) D.Ancona, G.Lagorio and E.Zucca In E.Bertino, editor, ECOOP 2000 - Object-Oriented Programming. Number 1850 in Lecture Notes in Computer Science, pages 154-178, Berlin, 2000. Springer Verlag An extended version is [1].

[3]	A Core Calculus for Java Exceptions - Extended Abstract (compressed postscript) D.Ancona, G.Lagorio and E.Zucca In ECOOP 2000 Workshop on Formal Techniques for Java Programs, June 2000. An extended version is [6].

[4]	Separate Compilation in Java: Avoiding Ambiguity via Monotonicity - technical report (compressed postscript) D.Ancona, G.Lagorio and E.Zucca July 2001.

[5]	Java Separate Type Checking is not Safe - extended abstract (compressed postscript) D.Ancona, G.Lagorio and E.Zucca In ECOOP2001 Workshop on Formal Techniques for Java Programs, June 2001

[6]	A Core Calculus for Java Exceptions (compressed postscript) D.Ancona, G.Lagorio and E.Zucca This is an extended version of [3]. In OOPSLA 2001 - International Conference on Object-Oriented Programming, Systems and Applications, October 2001.

[7]	True Separate Compilation of Java Classes (compressed postscript) D.Ancona, G.Lagorio and E.Zucca In Proc. 4rd Int'l Conf. Principles & Practice Declarative Programming ACM Press, 2002

[8]	A Formal Framework for Java Separate Compilation (compressed postscript) D.Ancona, G.Lagorio and E.Zucca In ECOOP 2002 - European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, Springer, 2002

[9]	Simplifying types in a calculus for Java exceptions (compressed postscript) D.Ancona, G.Lagorio and E.Zucca Technical report. August 2002.

[10]	Flexible models for dynamic linking (compressed postscript) S.Drossopoulou, G.Lagorio and S.Eisenbach In ESOP 2003 - European Symposium on Programming, Lecture Notes in Computer Science, Springer-Verlag.

[11]	Stronger Typings for Separate Compilation of Java-like Languages (Extended Abstract) D.Ancona and G.Lagorio In ECOOP 2003 Workshop on Formal Techniques for Java-like Programs, July 2003

[12]	Towards a Smart Compilation Manager for Java (pdf) G.Lagorio In ICTCS 2003, October 2003 - Italian Conference on Theoretical Computer Science, Lecture Notes in Computer Science, Springer-Verlag.

[13]	Another Step Towards a Smart Compilation Manager for Java (pdf) G.Lagorio In the OOP track of ACM Symposium on Applied Computing 2004, March 2004.

[14]	Stronger Typings for Smarter Recompilation of Java-like Languages (pdf) D.Ancona and G.Lagorio In Journal of Object Technology, vol. 3, no. 6, Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs, June 2004, pp. 5-25.

[15]	Capturing ghost dependencies in Java sources (pdf) G.Lagorio In Journal of Object Technology, vol. 3, no. 11, December 2004, Special issue: OOPS track at SAC 2004, Nicosia/Cyprus, pp. 77-95.

[16]	Smart Modules for Java-like Languages (pdf) D.Ancona, G.Lagorio and E.Zucca In ECOOP 2005 Workshop on Formal Techniques for Java-like Programs, July 2005.

[17]	Introducing safe unknown types in Java-like languages (pdf) G.Lagorio and E.Zucca In the OOP track of ACM Symposium on Applied Computing 2006, Dijon, April 2006.

[18]	A Flexible Model for Dynamic Linking in Java and C# S.Drossopoulou, G.Lagorio and S.Eisenbach In Theoretical Computer Science, Volume 368, Issues 1-2, 5 December 2006, Pages 1-29 This is an extended version of [10].

[19]	Dynamic linking of polymorphic bytecode (pdf) G.Lagorio In ECOOP 2006 Workshop on Formal Techniques for Java-like Programs, Nantes, July 2006. An extended version is [22]

[20]	Flexible type-safe linking of components for Java-like languages (pdf) D.Ancona, G.Lagorio and E.Zucca In JMLC2006 - Joint Modular Languages Conference 2006, Oxford, September 2006.

[21]	Just: safe unknown types in Java-like languages (pdf) G.Lagorio and E.Zucca In Journal of Object Technology, vol. 6, no. 2, Special Issue OOPS Track at SAC 2006, February 2007, pp. 69-98

[22]	Modelling a JVM for polymorphic bytecode (pdf) G.Lagorio In Journal of Object Technology vol. 6, no. 5, Special Issue ECOOP 2006, pp. 71-100 This is an extended version of [19]

[23]	Type inference for polymorphic methods in Java-like languages D.Ancona, G.Lagorio and E.Zucca In ICTCS 2007, October 2007 - Italian Conference on Theoretical Computer Science

[24]	Gesper: Support to Capitalize on Experience in a Network of SMEs (pdf) M.Cerioli, G.Lagorio, E.Morten and G.Reggio In Isola 2008, thematic session Tackling the challenges of Software Development Process for SMEs with Rigorous Support and Open Source

[25]	Flattening versus direct semantics for Featherweight Jigsaw (pdf) G.Lagorio, M.Servetto and E.Zucca In FOOL'09, Savannah, January 2009

[26]	Featherweight Jigsaw A minimal core calculus for modular composition of classes (pdf) G.Lagorio, M.Servetto and E.Zucca In ECOOP 2009 Accompanying technical report (extended version)

[27]	Coinductive type systems for object-oriented languages (pdf) D.Ancona and G.Lagorio In ECOOP 2009

[28]	A lightweight approach to customizable composition operators for Java-like classes (pdf) G.Lagorio, M.Servetto and E.Zucca In 6th International Workshop on Formal Aspects of Component Software

[29]	Customizable composition operators for Java-like classes (extended abstract) (pdf) G.Lagorio, M.Servetto and E.Zucca In ICTCS 2009, 11th Italian Conference on Theoretical Computer Science