Integer Constraints to Stop Deforestation (1996)

by Helmut Seidl
Citations:11 - 2 self

Documents Related by Co-Citation

406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
2014 A theory of timed automata – Rajeev Alur - 1999
625 Compiling with Continuations – A Appel - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
779 The Java Programming Language – Ken Arnold, James Gosling, David Holmes - 2000
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
639 A Survey of Program Slicing Techniques – F. Tip - 1995
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990