Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Idealized coinductive type systems for imperative object-oriented programs

Davide Ancona, Giovanni Lagorio

RAIRO-Theor. Inf. Appl., 45 1 (2011) 3-33

Published online: 2011-03-15

DOI: https://doi.org/10.1051/ita/2011009

This article has been cited by the following article(s):

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types

Davide Ancona
Electronic Proceedings in Theoretical Computer Science 258 70 (2017)
https://doi.org/10.4204/EPTCS.258.6

Structural Resolution for Abstract Compilation of Object-Oriented Languages

Luca Franceschini, Davide Ancona and Ekaterina Komendantskaya
Electronic Proceedings in Theoretical Computer Science 258 19 (2017)
https://doi.org/10.4204/EPTCS.258.2

Davide Ancona and Andrea Corradi
1 (2016)
https://doi.org/10.1145/2955811.2955813

Functional and Logic Programming

Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers and Andrew Pond
Lecture Notes in Computer Science, Functional and Logic Programming 9613 126 (2016)
https://doi.org/10.1007/978-3-319-29604-3_9

ECOOP 2014 – Object-Oriented Programming

Davide Ancona and Andrea Corradi
Lecture Notes in Computer Science, ECOOP 2014 – Object-Oriented Programming 8586 282 (2014)
https://doi.org/10.1007/978-3-662-44202-9_12

Regular corecursion in Prolog

Davide Ancona
Computer Languages, Systems & Structures 39 (4) 142 (2013)
https://doi.org/10.1016/j.cl.2013.05.001

Theoretical Computer Science

Davide Ancona and Giovanni Lagorio
Lecture Notes in Computer Science, Theoretical Computer Science 7604 10 (2012)
https://doi.org/10.1007/978-3-642-33475-7_2

ECOOP 2012 – Object-Oriented Programming

Davide Ancona
Lecture Notes in Computer Science, ECOOP 2012 – Object-Oriented Programming 7313 459 (2012)
https://doi.org/10.1007/978-3-642-31057-7_21

Formal Verification of Object-Oriented Software

Davide Ancona, Andrea Corradi, Giovanni Lagorio and Ferruccio Damiani
Lecture Notes in Computer Science, Formal Verification of Object-Oriented Software 6528 31 (2011)
https://doi.org/10.1007/978-3-642-18070-5_3