Automatic Correctness Proofs for Logic Program Transformations

DOI10.1007/978-3-540-74610-2_25zbMath1213.68207OpenAlexW1944291887MaRDI QIDQ3608667

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2108/40167

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Constraint-based correctness proofs for logic program transformations

This page was built for publication: Automatic Correctness Proofs for Logic Program Transformations