[Back]

B. Gramlich, S. Lucas:
"Modular Context-Sensitive Algebraic Specifications";
Talk: 17th International Workshop on Algebraic Development Techniques (WADT 2004), Barcelona, Spain; 2004-03-27 - 2004-03-30; in: "Proc. 17th International Workshop on Algebraic Development Techniques - Extended Abstracts (WADT 2004), Barcelona, Spain, March 27-30, 2004", (2004), 20 - 22.

Context-sensitivity in algebraic specifications is an interesting approach for bridging the gap between the purely logical and semantic nature of such systems and (certain problems in) their operational realization and implementation. Context-sensitive algebraic specifications are obtained by enriching ordinary algebraic specifications with additional syntactical (context) information that turns out to be very useful in transforming these specifications into executable prototypes or implementations satisfying usually desired properties. Here we investigate modular aspects of such context-sensitive algebraic specifications and computations in the framework of context-sensitive equational reasoning and rewriting. In particular, we study the modularity behaviour of context-sensitive term rewriting systems w.r.t confluence and related uniqueness properties. We show how to extend various modularity results known from (unrestricted) term rewriting systems to this more general setting, and how to cope with the additional complications caused by context-sensitivity.

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968659