Convergence of program transformers in the metric space of trees

DOI10.1016/S0167-6423(99)00026-XzbMath0954.68049MaRDI QIDQ1566913

Morten Heine B. Sørensen

Publication date: 20 September 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

abstract program transformermetric space of trees

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

This page was built for publication: Convergence of program transformers in the metric space of trees