Structured gamma

DOI10.1016/S0167-6423(97)00023-3zbMath0941.68014OpenAlexW2913441074MaRDI QIDQ1818363

Daniel Le Métayer, Pascal Fradet

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(97)00023-3

zbMATH Keywords

Gamma languagestructured multiset

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (7)

A rewriting logic framework for operational semantics of membrane systems ⋮ Refining multiset transformers ⋮ Confluence up to Garbage ⋮ MODELS AND TRENDS IN PARALLEL PROGRAMMING ⋮ Confluence up to garbage in graph transformation ⋮ Transformation of Shaped Nested Graphs and Diagrams1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). ⋮ Hierarchical graph transformation

This page was built for publication: Structured gamma