Davide Ancona's journal papers
|
[1]
|
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 ]
|
|
[2]
|
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 ]
|
|
[3]
|
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 ]
|
|
[4]
|
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 ]
|
|
[5]
|
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 ]
|
|
[6]
|
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 ]
|
|
[7]
|
D. Ancona and E. Zucca.
A calculus of module systems.
Journ. of Functional Programming, 12(2):91-132, 2002.
[ bib |
.ps.gz |
.html |
Abstract ]
|
|
[8]
|
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 ]
|
|
[9]
|
D. Ancona and E. Zucca.
A theory of mixin modules: Algebraic laws and reduction semantics.
Mathematical Structures in Computer Science, 12(6):701-737,
2002.
[ bib |
.ps.gz |
Abstract ]
|
|
[10]
|
D. Ancona and E. Zucca.
A theory of mixin modules: Basic and derived operators.
Mathematical Structures in Computer Science, 8(4):401-446,
August 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
|
