Constraint Specialisation in Horn Clause Verification-Reference-Cited by-同舟云学术

Constraint Specialisation in Horn Clause Verification

Published:2015-01-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation
language:
Short-container-title:

Author:

Kafle Bishoksan¹,Gallagher John P.¹

Affiliation:

1. Roskilde University, Roskilde, Denmark

Funder

Danish Agency for Science, Technology and Innovation

Seventh Framework Programme

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2678015.2682544

Reference43 articles.

1. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

2. A decade of software model checking with SLAM

3. Magic sets and other strange ways to implement logic programs (extended abstract)

4. F. Benoy and A. King . Inferring argument size relationships with CLP(R). In J. P. Gallagher editor Logic-Based Program Synthesis and Transformation (LOPSTR'96) volume 1207 of Springer-Verlag LNCS pages 204 -- 223 August 1996 . F. Benoy and A. King. Inferring argument size relationships with CLP(R). In J. P. Gallagher editor Logic-Based Program Synthesis and Transformation (LOPSTR'96) volume 1207 of Springer-Verlag LNCS pages 204--223 August 1996.

5. D. Beyer . Second competition on software verification - (summary of sv-comp 2013 ). In N. Piterman and S. A. Smolka editors TACAS volume 7795 of LNCS pages 594 -- 609 . Springer 2013. 10.1007/978-3-642-36742-7_43 D. Beyer. Second competition on software verification - (summary of sv-comp 2013). In N. Piterman and S. A. Smolka editors TACAS volume 7795 of LNCS pages 594--609. Springer 2013. 10.1007/978-3-642-36742-7_43

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-06-06

2. Semantics-based generation of verification conditions via program specialization;Science of Computer Programming;2017-11

3. Program Verification using Constraint Handling Rules and Array Constraint Generalizations*;Fundamenta Informaticae;2017-03-03

4. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement;Computer Languages, Systems & Structures;2017-01

5. Combining Forward and Backward Abstract Interpretation of Horn Clauses;Static Analysis;2017