Engineering Grammar-Based Type Checking for Graph Rewriting Languages.

Naoki Yamamoto Kazunori Ueda

Published in: IEEE Access (2022)

Keyphrases

type checking
database query languages
rewriting systems
data types
query processor
relational calculus
object model
expressive power
context free grammars
directed acyclic graph
structured data
xml data
software engineering
relational algebra
database
abstract data types
regular expressions