Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Properties of IsaCoSy's Constraint Generation Algorithm
Authors: Moa Johansson ; Lucas Dixon ; Alan Bundy
Date: 2010
Publication Type:Other Publication Status:Other
This report states and sketches the proofs for some important properties of IsaCoSy's constraint generation algorithm. We claim that for any rewrite rule, the constraint generation algorithm produces constraints that will prohibit the synthesis of exactly the terms containing a redex which can be rewritten by that rule (and no others).
Links To Paper
1st Link
Bibtex format
author = { Moa Johansson and Lucas Dixon and Alan Bundy },
title = {Properties of IsaCoSy's Constraint Generation Algorithm},
year = 2010,
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh