@Inproceedings{EPTCS235.6, author = {Dallmeyer, Nils and Schmidt-Schauss, Manfred}, year = {2017}, title = {An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages}, editor = {Cirstea, Horatiu and Escobar, Santiago}, booktitle = {{\rm Proceedings Third International Workshop on} Rewriting Techniques for Program Transformations and Evaluation, {\rm Porto, Portugal, 23rd June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {235}, publisher = {Open Publishing Association}, pages = {78-92}, doi = {10.4204/EPTCS.235.6}, }