Corrigendum to ``Reachability-based acyclicity analysis by abstract interpretation

DOI10.1016/j.tcs.2013.07.032zbMath1298.68300OpenAlexW1976806395MaRDI QIDQ407521

Samir Genaim, Damiano Zanardini

Publication date: 2 September 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.07.032

zbMATH Keywords

object-oriented programmingabstract interpretationacyclicity analysisheap manipulationtermination analysis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Corrigendum to ``Reachability-based acyclicity analysis by abstract interpretation