Engineering Grammar-Based Type Checking for Graph Rewriting Languages

Naoki Yamamoto, Kazunori Ueda. Engineering Grammar-Based Type Checking for Graph Rewriting Languages. IEEE Access, 10:114612-114628, 2022. [doi]

Abstract

Abstract is missing.