scientific article
From MaRDI portal
Publication:3484369
zbMath0704.68079MaRDI QIDQ3484369
Peter Lipps, Ulrich Möncke, Reinhard Wilhelm
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (4)
Attribute (re)evaluation in OPTRAN ⋮ Specification of graph translators with triple graph grammars ⋮ More efficient bottom-up multi-pattern matching in trees ⋮ OPTRAN
This page was built for publication: