Items where Author / Artist / Editor is "Kanovich, Max"
![]() | See full list of headings |
Conference or Workshop Item
Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Kanovich, Max
(2017)
Biabduction (and related problems) in array separation logic.
Automated Deduction – CADE 26.
In: International Conference on Automated Deduction, 8-11 August 2017, Gothenburg.
ISBN 978-3-319-63046-5.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-319-63046-5_29)
Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and Rowe, Reuben
(2016)
Model checking for symbolic-heap separation logic with inductive predicates.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016.
In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA.
ISBN 9781450335492.
ISSN 1523-2867
[Conference or Workshop Item]
(doi:10.1145/2837614.2837621)
Antonopoulos, Timos, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Haase, Christoph, Kanovich, Max and Ouaknine, Joël
(2014)
Foundations for decision problems in separation logic with general inductive predicates.
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings.
In: 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014, 5-13 Apr 2014, Grenoble, France.
ISBN 9783642548291.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-642-54830-7_27)
Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and O’Hearn, Peter W.
(2011)
The complexity of abduction for separated heap abstractions.
Static Analysis.
In: SAS 2011.
.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-642-23702-7_7)