Uniqueness Typing for Functional Languages with Graph Rewriting Semantics.
Erik BarendsenSjaak SmetsersPublished in: Math. Struct. Comput. Sci. (1996)
Keyphrases
- rewriting systems
- rewriting rules
- graph properties
- transformation rules
- formal semantics
- graph structure
- graphical representation
- weighted graph
- graph theory
- graph model
- bipartite graph
- logic programming
- structured data
- database query languages
- highly expressive
- graph representation
- random walk
- formal language
- expressive power
- graph mining
- language independent
- regular path queries
- rewrite rules
- directed graph
- semantic information
- graph theoretic
- databases
- sufficient conditions
- directed acyclic graph
- relational databases