Publication:3484369
From MaRDI portal
zbMath0704.68079MaRDI QIDQ3484369
Reinhard Wilhelm, Peter Lipps, Ulrich Möncke
Publication date: 1989
program transformation; regular tree grammar; OPTRAN; attributed abstract syntax trees; high level language
68N15: Theory of programming languages
68N20: Theory of compilers and interpreters
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
OPTRAN, More efficient bottom-up multi-pattern matching in trees, Attribute (re)evaluation in OPTRAN