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: January 2017