Workshop Papers

  • Pietro Barbieri, Francesco Dagnino, and Elena Zucca. An Inductive Abstract Semantics for CoFJ. In: Proceedings of 22nd Workshop on Formal Techniques for Java-like Programs, FTfJP’20, pp. 4–9, ACM, 2020.

  • Francesco Dagnino. A framework for big-step semantics. In: Marr, S. and Cazzola, W. (eds.) Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, pp. 27:1–27:3, ACM, 2019.

  • Davide Ancona, Francesco Dagnino, and Luca Franceschini. A formalism for specification of Java API interfaces. In: Dolby, J., Halfond, W.G.J., and Mishra, A. (eds.) Proceedings of 20th Workshop on Formal Techniques for Java-like Programs, FTfJP’18, pp. 24–26, ACM, 2018.

  • Davide Ancona, Francesco Dagnino, and Elena Zucca. Extending Coinductive Logic Programming with Co-Facts. In: Komendantskaya, E. and Power, J. (eds.) Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty’16, pp. 1–18 2017.

  • Davide Ancona, Francesco Dagnino, and Elena Zucca. Towards a model of corecursion with default. In: Klebanov, V. (ed.) Proceedings of 18th Workshop on Formal Techniques for Java-like Programs, FTfJP’16, p. 9, ACM, 2016.