Zipper-based embedding of strategic attribute grammars.

José Nuno Macedo Emanuel Rodrigues Marcos Viera João Saraiva

Published in: J. Syst. Softw. (2024)

Keyphrases

attribute grammars
context free
context free grammars
xml processing
model checking
context sensitive
expert systems
theorem proving
context dependent