Davide Ancona's reports
|
[1]
|
D. Ancona and G. Lagorio.
Static single information form for abstract compilation.
Technical report, 2011.
Referred paper.
[ bib |
.pdf |
Abstract ]
|
|
[2]
|
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
[?].
[ 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? (extended version).
Technical report, DISI, August 2010.
Extended version of [?].
[ bib |
.pdf |
Abstract ]
|
|
[4]
|
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 ]
|
|
[5]
|
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 ]
|
|
[6]
|
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 ]
|
|
[7]
|
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 ]
|
|
[8]
|
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 ]
|
|
[9]
|
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 ]
|
|
[10]
|
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 ]
|
|
[11]
|
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 ]
|
|
[12]
|
D. Ancona and E. Zucca.
A theory of modules with state.
Technical Report DISI-TR-98-10, Dipartimento di Informatica e Scienze
dell'Informazione, Università di Genova, 1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[13]
|
D. Ancona.
Modular Formal Frameworks for Module Systems.
PhD thesis, Dipartimento di Informatica, Università di Pisa, 1998.
[ 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
|
