Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Martin Schäf
Publications
Abduction by Non-Experts
Nikolaj Bjorner
,
Dejan Jovanović
,
Tancrède Lepoint
,
Philipp Rümmer
and
Martin Schäf
In
:
IWIL Workshop and LPAR Short Presentations
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
abduction
,
Crowdsourcing
,
Horn Clause Solving
,
Horn solving
,
memory models
,
software model checking
.
Copyright © 2012-2024 easychair.org. All rights reserved.