Convex Hull Abstractions in Specialization of CLP Programs

DOI10.1007/3-540-45013-0_8zbMath1278.68052OpenAlexW2128709994MaRDI QIDQ3079923

Julio C. Peralta, John P. Gallagher

Publication date: 4 March 2011

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

Full work available at URL: https://doi.org/10.1007/3-540-45013-0_8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (3)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation ⋮ Analysis of Linear Hybrid Systems in CLP

Uses Software

• ECCE

This page was built for publication: Convex Hull Abstractions in Specialization of CLP Programs