Convergence of Program Transformers in the Metric Space of Trees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Morten Heine Sørensen. Convergence of Program Transformers in the Metric Space of Trees. In Johan Jeuring, editor, Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Volume 1422 of Lecture Notes in Computer Science, pages 315-337, Springer, 1998. [doi]

This author has not been identified. Look up 'Morten Heine Sørensen' in Google

runs on WebDSL