Davide Ancona's journal papers
| [1] | D. Ancona, P. Giannini, and E. Zucca. Incremental rebinding with name polymorphism. Electr. Notes Theor. Comput. Sci., 322:19--34, 2016. [ bib | DOI | .pdf | http | Abstract ] |
| [2] | D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna, P. M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, E. B. Johnsen, F. Martins, V. Mascardi, F. Montesi, R. Neykova, N. Ng, L. Padovani, V.T. Vasconcelos, and N. Yoshida. Behavioral types in programming languages. Foundations and Trends in Programming Languages, 3(2-3):95--230, 2016. [ bib | DOI | .pdf | http | Abstract ] |
| [3] | D. Ancona and A. Dovier. A theoretical perspective of coinductive logic programming. Fundamenta Informaticae, 140(3-4):221--246, 2015. [ bib | DOI | .pdf | Abstract ] |
| [4] | V. Mascardi, D. Ancona, M. Barbieri, R. H. Bordini, and A. Ricci. CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intelligence and Agent Systems, 12(1):83--107, 2014. [ bib | .pdf | Abstract ] |
| [5] | D. Ancona and A. Dovier. co-LP: Back to the Roots. Theory and Practice of Logic Programming , 13(4-5-Online-Supplement), 2013. [ bib | .pdf | Abstract ] |
| [6] | D. Ancona. Regular corecursion in Prolog. Computer Languages, Systems & Structures, 39(4):142--162, 2013. Extended version of SAC 2012. [ bib | .pdf | Abstract ] |
| [7] | 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 ] |
| [8] | 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 ] |
| [9] | 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 ] |
| [10] | 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 ] |
| [11] | 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 ] |
| [12] | 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 ] |
| [13] | D. Ancona and E. Zucca. A calculus of module systems. Journ. of Functional Programming, 12(2):91--132, 2002. [ bib | .ps.gz | .html | Abstract ] |
| [14] | 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 ] |
| [15] | 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 ] |
| [16] | 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.98.
Back to the main page on Davide Ancona's papers
Please send suggestions and comments to: Davide Ancona davide.ancona@unige.it
Last Updated: February 2018