scientific article; zbMATH DE number 7453190
From MaRDI portal
Publication:5020649
Authors: John P. Gallagher, Manuel Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, P. López-García, J. F. Morales 
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2008.02931
Title of this publication is not available (Why is that?)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Horn clauses as an intermediate representation for program analysis and transformation
- An axiomatic basis for computer programming
- Mechanized semantics for the clight subset of the C language
- Title not available (Why is that?)
- The origins of structural operational semantics
- Fast Algorithms for Solving Path Problems
- Most specific logic programs
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- Title not available (Why is that?)
- Horn clause solvers for program verification
- A New Algorithm for Identifying Loops in Decompilation
- STACS 87. 4th annual symposium on theoretical aspects of computer science, Passau, Federal Republic of Germany, February 19--21, 1987. Proceedings
- Synthesis and transformation of logic programs using unfold/fold proofs
- Offline specialisation in Prolog using a hand-written compiler generator
- A general framework for static profiling of parametric resource usage
- Tree dimension in verification of constrained Horn clauses
Cited In (4)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020649)
