Huet, Gerard; Lang, Bernard Proving and applying program transformations expressed with second-order patterns. (English) Zbl 0389.68008 Acta Inf. 11, 31-55 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 35 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Software:LCF PDF BibTeX XML Cite \textit{G. Huet} and \textit{B. Lang}, Acta Inf. 11, 31--55 (1978; Zbl 0389.68008) Full Text: DOI