Davide Ancona's most recent papers
|
[1]
|
D. Ancona, V. Mascardi, and O. Pavarino.
Ontology-based documentation extraction for semi-automatic migration
of Java code.
In ACM Symposium on Applied Computing (SAC 2012),
2012.
To appear.
[ bib |
.pdf |
Abstract ]
|
|
[2]
|
D. Ancona.
Regular corecursion in Prolog.
In ACM Symposium on Applied Computing (SAC 2012),
2012.
To appear.
[ bib |
.pdf |
Abstract ]
|
|
[3]
|
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 ]
|
|
[4]
|
D. Ancona and G. Lagorio.
Static single information form for abstract compilation.
Technical report, 2011.
Referred paper.
[ bib |
.pdf |
Abstract ]
|
|
[5]
|
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 ]
|
|
[6]
|
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 ]
|
|
[7]
|
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
[10].
[ bib |
.pdf |
Abstract ]
|
|
[8]
|
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 [5].
[ bib |
.pdf |
Abstract ]
|
|
[9]
|
D. Ancona, V. Mascardi, and O. Pavarino.
Automatic ontology extraction from Java libraries for
machine-readable API documentation.
Technical report, DISI, May 2010.
[ bib |
.pdf |
Abstract ]
|
|
[10]
|
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 ]
|
|
[11]
|
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 ]
|
|
[12]
|
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 ]
|
|
[13]
|
D. Ancona and V. Mascardi.
Exploiting Agents and Ontologies for Type- and Meaning-Safe
Adaptation of Java Programs.
In Proceedings of the MALLOW-AWESOME 2009 workshop, volume
494. CEUR Workshop Proceedings, 2009.
[ bib |
.pdf |
Abstract ]
|
|
[14]
|
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 ]
|
|
[15]
|
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 ]
|
|
[16]
|
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 ]
|
|
[17]
|
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 ]
|
|
[18]
|
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 ]
|
|
[19]
|
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 ]
|
|
[20]
|
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 ]
|
|
[21]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A parametric calculus for mobile open code.
Electronic Notes in Theoretical Computer Science, 192(3):3 -
22, 2008.
Proceedings of the Third International Workshop on Developments in
Computational Models (DCM 2007).
[ bib |
DOI |
.pdf |
http |
Abstract ]
|
|
[22]
|
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 ]
|
|
[23]
|
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 ]
|
|
[24]
|
D. Ancona and E. Zucca.
A formal framework for compositional compilation (extended abstract).
In D. Ancona, G. Lagorio, and E. Zucca, editors, Theoretical
Computer Science: Proceedings of the 10th Italian Conference on
ICTCS '07. World Scientific, 2007.
See also the
long version
with proofs and examples of framework instantiation.
[ bib |
.pdf |
Abstract ]
|
|
[25]
|
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 ]
|
|
[26]
|
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 ]
|
|
[27]
|
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 ]
|
|
[28]
|
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 ]
|
|
[29]
|
V. Mascardi, D. Demergasso, and D. Ancona.
Languages for Programming BDI-style Agents: an Overview.
In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors,
WOA 2005 - Workshop From Objects to Agents, pages 9-15,
2005.
[ bib |
.pdf |
Abstract ]
|
|
[30]
|
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 ]
|
|
[31]
|
D. Ancona, S. Fagorzi, and E. Zucca.
Mixin modules for dynamic rebinding.
In R. De Nicola and D. Sangiorgi, editors, Trustworthy Global
Computing: IST/FET International Workshop, TGC 2005, Edinburgh,
UK, April 7-9, 2005. Revised Selected Papers, volume 3705 of
Lecture Notes in Computer Science, pages 279-298. Springer Verlag, 2005.
[ bib |
.pdf |
Abstract ]
|
|
[32]
|
L. Bozzo, V. Mascardi, D. Ancona, and P. Busetta.
COOWS: Adaptive BDI Agents meet Service-Oriented
Computing.
In M. P. Gleizes, G. A. Kaminka, A. Nowé, S. Ossowski, K. Tuyls,
and K. Verbeeck, editors, EUMAS 2005 - Proceedings of the Third
European Workshop on Multi-Agent Systems, Brussels, Belgium,
December 7-8, 2005, page 473, 2005.
[ bib |
http |
Abstract ]
|
|
[33]
|
D. Ancona and E. Moggi.
Program Generation and Components.
In F. S. de Boer, M. M. Bonsangue, S. Graf, and W. de Roever,
editors, Formal Methods for Components and Objects: Third
International Symposium, FMCO 2004, volume 3657 of Lecture Notes
in Computer Science, pages 222-250. Springer Verlag, 2005.
[ bib |
.pdf |
Abstract ]
|
|
[34]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A calculus for dynamic reconfiguration with low priority linking.
Electronic Notes in Theoretical Computer Science. Proceedings of
the Second Workshop on Object Oriented Developments (WOOD 2004),
138(2):3-35, 2005.
[ bib |
.pdf |
http |
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
|
