scientific article; zbMATH DE number 7453190
From MaRDI portal
Publication:5020649
Pedro Lopez-Garcia, John P. Gallagher, Bishoksan Kafle, Manuel V. Hermenegildo, Maximiliano Klemen, Jose Francisco Morales
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2008.02931
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Parallel Logic Programming: A Sequel ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- STACS 87. 4th annual symposium on theoretical aspects of computer science, Passau, Federal Republic of Germany, February 19--21, 1987. Proceedings
- Most specific logic programs
- The origins of structural operational semantics
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- Mechanized semantics for the clight subset of the C language
- Horn Clause Solvers for Program Verification
- A New Algorithm for Identifying Loops in Decompilation
- Fast Algorithms for Solving Path Problems
- Horn clauses as an intermediate representation for program analysis and transformation
- A general framework for static profiling of parametric resource usage
- Tree dimension in verification of constrained Horn clauses
- Offline specialisation in Prolog using a hand-written compiler generator
- Synthesis and transformation of logic programs using unfold/fold proofs
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- An axiomatic basis for computer programming
This page was built for publication:
