A Transformation System for Developing Recursive Programs (1977)

View PDF

Download Links

by R. M. Burstall , John Darlington
Citations:641 - 3 self

Documents Related by Co-Citation

2564 h~ Design and Analysis of Computer Algorithms – J E Hopcroft, J D Ullman - 1974
548 A Computational Logic – R S Boyer, J S Moore - 1979
985 A theory of type polymorphism in programming – Robin Milner - 1978
518 Simple word problems in universal algebras – D E Knuth, P Bendix - 1970
1353 Monads for functional programming – Philip Wadler - 1995
573 Designing Reusable Classes – R E Johnson, B Foote - 1988
864 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
665 V.R.(1977): Fast pattern matching in strings – D E Knuth, J H Morris, Pratt
561 The implementation of functional programming languages – S L Peyton Jones - 1987