HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rody Kersten

Publications
Quantified Heap Invariants for Object-Oriented Programs
Temesghen Kahsai, Rody Kersten, Philipp Rümmer and Martin Schäf
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Horn Clause Solving, memory models, software model checking.

Copyright © 2012-2025 easychair.org. All rights reserved.