Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach

DOI10.1093/logcom/exab090OpenAlexW4206579693MaRDI QIDQ5862477

Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis

Publication date: 9 March 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.11819

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (3)

Verifying Catamorphism-Based Contracts using Constrained Horn Clauses ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach