Using real relaxations during program specialization

DOI10.1007/978-3-642-32211-2_8MaRDI QIDQ4909316zbMATH OpenOpenAlexFDO

Authors Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Publication date 13 March 2013

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32211-2_8

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1973221
• Program specialization for verifying infinite state systems: an experimental evaluation
• Convex hull abstractions in specialization of CLP programs
• scientific article; zbMATH DE number 1497831
• Controlling polyvariance for specialization-based verification

Cited in

(1)

• scientific article; zbMATH DE number 1973221 (Why is no real title available?)

This page was built for publication: Using real relaxations during program specialization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909316)