Proving and applying program transformations expressed with second-order patterns

Publisher Website

1 January 1978

journal article
research article
Published by Springer Science and Business Media LLC in Acta Informatica

Vol. 11 (1), 31-55
https://doi.org/10.1007/bf00264598

Abstract

No abstract available

Keywords

Cited by 170 articles