Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement - Drewes, Frank; Hoffmann, Berthold; Minas, Mark (Journal of logical and algebraic methods in programming, 2019)
Keywords: Computer Science; datalogi; Grammar analysis; Graph parsing; Hyperedge replacement grammar; Hyperedge replacement grammar; Graph parsing; Grammar analysis