A Transformation System Combining Partial Evaluation with Term Rewriting (1993)

View PDF

Download Links

by Françoise Bellegarde
Venue:In Higher Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of LNCS
Citations:6 - 5 self

Active Bibliography

4 Automating Synthesis by Completion – Françoise Bellegarde - 1994
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
2 Automatic Transformations by Rewriting Techniques – Françoise Bellegarde - 1994
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
473 Graph Drawing by Force-directed Placement – Thomas M. J. Fruchterman, Edward M. Reingold - 1991
467 Comprehending Monads – Philip Wadler - 1992
430 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
347 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982