| [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
