Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431349 | The Journal of Logic and Algebraic Programming | 2010 | 18 Pages |
Abstract
Noting that the usual ‘propositionally’ based way of composing retrenchments can yield many ‘junk’ cases, alternative approaches to composition are introduced (via notions of tidy, neat, and fastidious retrenchments) that behave better in this regard. These alternatives do however make other issues such as associativity harder. The technical details are presented for vertical composition of retrenchments (i.e. the composition of successive retrenchment steps).
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
R. Banach, C. Jeske,