A language extension for graph processing and its formal semantics

DOI10.1145/362619.362627MaRDI QIDQ5632149zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cited in

(6)

• Knowledge representation for mathematical discovery: Three experiments in graph theory
• Declarative operations on nets
• Directed recursive labelnode hypergraphs: A new representation-language
• Data schemata based on directed graphs
• Graphix a graph theory sub language
• On a programming language for graph algorithms

This page was built for publication: A language extension for graph processing and its formal semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5632149)