Object-oriented programming
|
[1]
|
D. Ancona.
Coinductive big-step operational semantics for type soundness of
Java-like languages.
In Formal Techniques for Java-like Programs
(FTfJP11), ACM Digital Library. ACM, 2011.
To appear.
[ bib |
.pdf |
Abstract ]
|
|
[2]
|
D. Ancona and G. Lagorio.
Static single information form for abstract compilation.
Technical report, 2011.
Referred paper.
[ bib |
.pdf |
Abstract ]
|
|
[3]
|
D. Ancona, A. Corradi, G. Lagorio, and F. Damiani.
Abstract compilation of object-oriented languages into coinductive
CLP(X): can type inference meet verification?
In B. Beckert and C. Marché, editors, Formal Verification of
Object-Oriented Software International Conference, FoVeOOS
2010, Paris, France, June 28-30, 2010, Revised Selected
Papers, volume 6528 of Lecture Notes in Computer Science. Springer
Verlag, 2011.
[ bib |
.pdf |
Abstract ]
|
|
[4]
|
D. Ancona and G. Lagorio.
Idealized coinductive type systems for imperative object-oriented
programs.
RAIRO - Theoretical Informatics and Applications, 45(1):3-33,
2011.
[ bib |
.pdf |
http |
Abstract ]
|
|
[5]
|
D. Ancona and G. Lagorio.
On sound and complete axiomatization of coinductive subtyping for
object-oriented languages.
Technical report, DISI, November 2010.
Submitted for journal publication. Extended version of
[7].
[ bib |
.pdf |
Abstract ]
|
|
[6]
|
D. Ancona, A. Corradi, G. Lagorio, and F. Damiani.
Abstract compilation of object-oriented languages into coinductive
CLP(X): can type inference meet verification? (extended version).
Technical report, DISI, August 2010.
Extended version of [3].
[ bib |
.pdf |
Abstract ]
|
|
[7]
|
D. Ancona and G. Lagorio.
Complete coinductive subtyping for abstract compilation of
object-oriented languages.
In FTFJP '10: Proceedings of the 12th Workshop on Formal
Techniques for Java-Like Programs, ACM Digital Library, pages
1:1-1:7. ACM, 2010.
[ bib |
.pdf |
http |
Abstract ]
|
|
[8]
|
D. Ancona and G. Lagorio.
Coinductive subtyping for abstract compilation of object-oriented
languages into Horn formulas.
In Montanari A., Napoli M., and Parente M., editors,
Proceedings of GandALF 2010, volume 25 of Electronic Proceedings in
Theoretical Computer Science, pages 214-223, 2010.
[ bib |
.pdf |
Abstract ]
|
|
[9]
|
D. Ancona, A. Corradi, G. Lagorio, and F. Damiani.
Abstract compilation of object-oriented languages into coinductive
CLP(X): when type inference meets verification.
Technical report, Karlsruhe Institute of Technology, 2010.
Formal Verification of Object-Oriented Software. Papers
presented at the International Conference, June 28-30, 2010, Paris,
France.
[ bib |
.pdf |
Abstract ]
|
|
[10]
|
A. Cuni, D. Ancona, and A. Rigo.
Faster than C#: efficient implementation of dynamic languages on
.NET.
In ICOOOLPS '09: Proceedings of the 4th workshop on the
Implementation, Compilation, Optimization of Object-Oriented
Languages and Programming Systems, pages 26-33, New York, NY, USA,
2009. ACM.
[ bib |
DOI |
.pdf |
Abstract ]
|
|
[11]
|
D. Ancona, G. Lagorio, and E. Zucca.
Type inference by coinductive logic programming.
In de' Liguoro U. Berardi S., Damiani F., editor,
Post-Proceedings of TYPES 2008, volume 5497 of Lecture Notes in
Computer Science. Springer Verlag, 2009.
[ bib |
.pdf |
Abstract ]
|
|
[12]
|
D. Ancona and G. Lagorio.
Coinductive type systems for object-oriented languages.
In S. Drossopoulou, editor, ECOOP 2009 - Object-Oriented
Programming, volume 5653 of Lecture Notes in Computer Science, pages
2-26. Springer Verlag, 2009.
Best paper prize.
[ bib |
.pdf |
Abstract ]
|
|
[13]
|
D. Ancona, C. Bolz, A. Cuni, and A. Rigo.
Automatic generation of JIT compilers for dynamic languages in
.NET.
Technical report, Univ. of Dusseldorf and Univ. of Genova, December
2008.
[ bib |
.pdf |
Abstract ]
|
|
[14]
|
D. Ancona and V. Mascardi.
Ontology matching for semi-automatic and type-safe adaptation of
Java programs.
Technical report, DISI - Univ. of Genova, December 2008.
[ bib |
.pdf |
Abstract ]
|
|
[15]
|
D. Ancona, G. Lagorio, and E. Zucca.
Type inference for Java-like programs by coinductive logic
programming.
Technical report, DISI - Univ. of Genova, July 2008.
[ bib |
.pdf |
Abstract ]
|
|
[16]
|
D. Ancona, G. Lagorio, and E. Zucca.
A flexible and type-safe framework of components for Java-like
languages.
Technical report, DISI - Univ. of Genova, April 2008.
Submitted for journal publication. Extended version of this
conference paper.
[ bib |
.pdf |
Abstract ]
|
|
[17]
|
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, and E. Zucca.
A Provenly Correct Translation of Fickle into Java.
ACM Transactions on Programming Languages and Systems, 29(2),
April 2007.
[ bib |
.pdf |
Abstract ]
|
|
[18]
|
D. Ancona, G. Lagorio, and E. Zucca.
Type inference for polymorphic methods in Java-like languages.
In G. Italiano, E. Moggi, and L. Laura, editors, Theoretical
Computer Science: Proceedings of the 10th Italian Conference on
ICTCS '07. World Scientific, 2007.
See also the
long version
with proofs.
[ bib |
.pdf |
Abstract ]
|
|
[19]
|
D. Ancona, M. Ancona, A Cuni, and N. Matsakis.
RPython: a Step Towards Reconciling Dynamically and
Statically Typed OO Languages.
In OOPSLA 2007 Proceedings and Companion, DLS'07:
Proceedings of the 2007 Symposium on Dynamic Languages, pages
53-64. ACM, 2007.
[ bib |
.pdf |
Abstract ]
|
|
[20]
|
D. Ancona, G. Lagorio, and E. Zucca.
Flexible type-safe linking of components for Java-like languages.
In Joint Modular Languages Conference (JMLC 2006),
volume 4228 of Lecture Notes in Computer Science, pages 136-154.
Springer Verlag, 2006.
See also the extended version.
[ bib |
.pdf |
Abstract ]
|
|
[21]
|
D. Ancona, G. Lagorio, and E. Zucca.
Smart modules for Java-like languages.
In 7th Intl. Workshop on Formal Techniques for Java-like
Programs 2005, July 2005.
[ bib |
.pdf |
Abstract ]
|
|
[22]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Compositional Compilation for Java-like Languages through
Polymorphic Bytecode.
Technical report, Dipartimento di Informatica e Scienze
dell'Informazione, Università di Genova, January 2005.
[ bib |
.pdf |
Abstract ]
|
|
[23]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Polymorphic bytecode: Compositional compilation for Java-like
languages.
In POPL 2005 - The 32nd ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, pages 26-37. ACM Press, 2005.
[ bib |
.pdf |
Abstract ]
|
|
[24]
|
D. Ancona and G. Lagorio.
Stronger Typings for Smarter Recompilation of Java-like
Languages.
Journal of Object Technology. Special issue. Workshop on Formal
Techniques for Java-like Programs (FTfJP) ECOOP 2003, 3(6):5-25, June 2004.
[ bib |
.ps.gz |
http |
http |
Abstract ]
|
|
[25]
|
D. Ancona and E. Zucca.
Principal typings for Java-like languages.
In POPL 2004 - The 31st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, pages 306-317. ACM Press,
2004.
[ bib |
.ps.gz |
Abstract ]
|
|
[26]
|
D. Ancona, G. Lagorio, and E. Zucca.
Jam-designing a Java extension with mixins.
ACM Transactions on Programming Languages and Systems,
25(5):641-712, September 2003.
[ bib |
.ps.gz |
http |
Abstract ]
|
|
[27]
|
D. Ancona and G. Lagorio.
Stronger typings for separate compilation of Java-like languages
(Extended Abstract).
In 5th Intl. Workshop on Formal Techniques for Java Programs
2003, 2003.
[ bib |
.ps.gz |
http |
.html |
Abstract ]
|
|
[28]
|
D. Ancona, G. Lagorio, and E. Zucca.
Simplifying types for a calculus of Java exceptions.
Technical report, Dipartimento di Informatica e Scienze
dell'Informazione, Università di Genova, August 2002.
Submitted for journal publication.
[ bib |
.ps.gz |
Abstract ]
|
|
[29]
|
D. Ancona, G. Lagorio, and E. Zucca.
True separate compilation of Java classes.
In ACM SIGPLAN Conference on Principles and Practice
of Declarative Programming (PPDP'02), pages 189-200. ACM Press, 2002.
[ bib |
.ps.gz |
Abstract ]
|
|
[30]
|
D. Ancona, G. Lagorio, and E. Zucca.
A formal framework for Java separate compilation.
In B. Magnusson, editor, ECOOP 2002 - Object-Oriented
Programming, volume 2374 of Lecture Notes in Computer Science, pages
609-635. Springer Verlag, 2002.
[ bib |
.ps.gz |
Abstract ]
|
|
[31]
|
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, and E. Zucca.
A type preserving translation of Fickle into Java.
Electronic Notes in Theoretical Computer Science. TOSCA 2001,
Theory of Concurrency, Higher Order Languages and Types, 62:69-82, 2002.
[ bib |
.ps.gz |
http |
Abstract ]
|
|
[32]
|
D. Ancona and E. Zucca.
True modules for Java-like languages.
In J.L. Knudsen, editor, ECOOP 2001 - Object-Oriented
Programming, volume 2072 of Lecture Notes in Computer Science, pages
354-380. Springer Verlag, 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[33]
|
D. Ancona, G. Lagorio, and E. Zucca.
Java separate type checking is not safe.
In 3rd Intl. Workshop on Formal Techniques for Java Programs
2001, 2001.
[ bib |
.ps.gz |
http |
Abstract ]
|
|
[34]
|
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, and E. Zucca.
An effective translation of Fickle into Java.
In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors,
ICTCS 2001 - Theoretical Computer Science, volume 2202 of
Lecture Notes in Computer Science, pages 215-234. Springer Verlag, 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[35]
|
D. Ancona, G. Lagorio, and E. Zucca.
A core calculus for Java exceptions.
In ACM Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA 2001), SIGPLAN Notices.
ACM Press, 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[36]
|
D. Ancona, E. Zucca, and S. Drossopoulou.
Overloading and inheritance.
In The Eighth International Workshop on Foundations of
Object-Oriented Languages (FOOL8), 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[37]
|
D. Ancona, G. Lagorio, and E. Zucca.
Jam: A smooth extension of Java with mixins.
In E. Bertino, editor, ECOOP 2000 - Object-Oriented
Programming, volume 1850 of Lecture Notes in Computer Science, pages
154-178. Springer Verlag, 2000.
[ bib |
.ps.gz |
http |
Abstract ]
|
|
[38]
|
D. Ancona, G. Lagorio, and E. Zucca.
A core calculus for Java exceptions (Extended Abstract).
In 2nd Intl. Workshop on Formal Techniques for Java Programs
2000, 2000.
[ bib |
.pdf |
http |
Abstract ]
|
|
[39]
|
D. Ancona, E. Zucca, and S. Drossopoulou.
Overloading and inheritance in Java (Extended Abstract).
In 2nd Intl. Workshop on Formal Techniques for Java Programs
2000, 2000.
[ bib |
.pdf |
http |
Abstract ]
|
|
[40]
|
D. Ancona, M. Cerioli, and E. Zucca.
Extending Casl with late binding.
In D. Bert and C. Choppy, editors, WADT'99 - 14th Workshop
on Algebraic Development Techniques - Selected Papers, volume 1827
of Lecture Notes in Computer Science, pages 53-72. Springer Verlag,
2000.
[ bib |
.ps.gz |
Abstract ]
|
|
[41]
|
D. Ancona, M. Cerioli, and E. Zucca.
A formal framework with late binding.
In J.-P. Finance, editor, FASE'99 - Fundamental Approaches
to Software Engineering, volume 1577 of Lecture Notes in Computer
Science, pages 30-44. Springer Verlag, 1999.
[ bib |
.ps.gz |
Abstract ]
|
|
[42]
|
D. Ancona.
Modular Formal Frameworks for Module Systems.
PhD thesis, Dipartimento di Informatica, Università di Pisa, 1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[43]
|
D. Ancona and E. Zucca.
Overriding operators in a mixin-based framework.
In H. Glaser, P. Hartel, and H. Kuchen, editors, PLILP '97 -
9th Intl. Symp. on Programming Languages, Implementations,
Logics, and Programs, volume 1292 of Lecture Notes in Computer
Science, pages 47-61. Springer Verlag, 1997.
[ bib |
.ps.gz |
Abstract ]
|
|
[44]
|
D. Ancona, E. Astesiano, and E. Zucca.
Towards a classification of inheritance relations.
In U.W. Lipeck and G. Koschorreck, editors, Proc. ISCORE '93
(International Workshop on Information Systems - Correctness and
Reusability), number 01/93 in Informatik-Berichte, pages 90-113.
Universitaet Hannover, 1993.
[ bib |
.ps.gz |
Abstract ]
|
This file was generated by
bibtex2html 1.95.
Back to the main page on Davide Ancona's papers
Please send suggestions and comments to:
Davide Ancona davide@disi.unige.it
Last Updated: November 19, 2011
|
