Pattern-matching and rewriting rules for group indexed data structures

2025-01-16 Classification：language Click()
Author：Giavitto, JL; Michel, O; Cohen, J

Article Title：Pattern-matching and rewriting rules for group indexed data structures

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 for functions. This framework is implemented in an experimental language called MGS. The underlying notions funding our framework have a topological nature and enable to extend the case-based definition of functions found in modem functional languages beyond algebraic data structures.

Keywords: group-based data fields; group indexed data structure; path pattern; combinatorial matching; array pattern matching; Cayley graphs; rule based array function

DOI: 10.1145/636517.636529

Source：ACM SIGPLAN NOTICES

Welcome to correct the error, please contact email: humanisticspider@gmail.com

Related Reading

Articulatory movements in adolescents: Evidence for protracted development of speech motor control pArticulatory movements in adolescents: Evidence for protracted development of speech motor control p
Direct magnitude estimation and interval scaling of naturalness and severity in tracheoesophageal (TDirect magnitude estimation and interval scaling of naturalness and severity in tracheoesophageal (T
Having a laugh at work: how humour contributes to workplace cultureHaving a laugh at work: how humour contributes to workplace culture
Dyadic versus individual storytelling by preschool childrenDyadic versus individual storytelling by preschool children