scientific article
From MaRDI portal
Publication:3332233
zbMath0543.68016MaRDI QIDQ3332233
Ulrich Möncke, Reinhard Wilhelm, Beatrix Weisgerber
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compilertree transformationcode optimizationgenerating systemevaluation of attributesattributed grammar
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication:
