Loading...
Please wait, while we are loading the content...
Similar Documents
Abstract pattern-matching and rewriting rules for group indexed data structures.
| Content Provider | CiteSeerX |
|---|---|
| Author | Giavitto, Jean-Louis Michel, Olivier |
| Abstract | In this paper, 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. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | New Framework Abstract Pattern-matching Rewriting Rule Case-based Definition Various Data Structure Experimental Language Generic Language Algebraic Data Structure Underlying Notion Modern Functional Language Rule-based Programming Style Topological Nature Group Indexed Data Structure |
| Content Type | Text |