Iteration of transformation passes over attributed program trees
From MaRDI portal
Publication:1111030
DOI10.1007/BF00263499zbMath0657.68081OpenAlexW2058721216MaRDI QIDQ1111030
Publication date: 1989
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00263499
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
This page was built for publication: Iteration of transformation passes over attributed program trees