A language extension for graph processing and its formal semantics
From MaRDI portal
Publication:5632149
DOI10.1145/362619.362627zbMath0225.68034OpenAlexW1967374219MaRDI QIDQ5632149
Daniel P. Friedman, Terrence W. Pratt
Publication date: 1971
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/362619.362627
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Data structures (68P05)
Related Items (6)
On a programming language for graph algorithms ⋮ Knowledge representation for mathematical discovery: Three experiments in graph theory ⋮ Declarative operations on nets ⋮ Data schemata based on directed graphs ⋮ Graphix a graph theory sub language ⋮ Directed recursive labelnode hypergraphs: A new representation-language
This page was built for publication: A language extension for graph processing and its formal semantics
