A high-level derivation of global search algorithms (with constraint propagation)
- 30 April 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 28 (2-3) , 247-271
- https://doi.org/10.1016/s0167-6423(96)00023-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Algorithm theories and design tacticsScience of Computer Programming, 1990
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- Program derivation by fixed point computationScience of Computer Programming, 1989