A Transformational Approach for Proving Properties of the CHR Constraint Store

DOI10.1007/978-3-642-12592-8_3zbMath1284.68118OpenAlexW1855780832MaRDI QIDQ3558283

Tom Schrijvers, Paolo Pilozzi, Maurice Bruynooghe

Publication date: 4 May 2010

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

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/267708

zbMATH Keywords

program transformationConstraint Handling Rules

Mathematics Subject Classification ID

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

This page was built for publication: A Transformational Approach for Proving Properties of the CHR Constraint Store