Pattern-matching and rewriting rules for group indexed data structures

Jean-Louis Giavitto, Olivier Michel
2002 Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming - RULE '02  
In this report, we present a new framework for the definition of various data-structures (including trees and arrays) together with a generic language of filters enabling a rule-based programming style of functions. This framework is implemented in an experimental language called MGS. The underlying notions funding our framework have a topological nature and make possible to extend the case-based definition of functions found in modern functional languages beyond algebraic data-structures.
doi:10.1145/570186.570192 dblp:conf/rule/GiavittoM02 fatcat:adtlcdrpqbf3rb5z3s3s3m3rtm