BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
deforestation
Google deforestation

Tag #deforestation

19 papers:

CEFPCEFP-2015-FernandesCSP #exclamation #tutorial
Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
SACSAC-2008-MotaCFEB #evolution #reasoning
Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia (JSM, GC, LMGF, MISE, ORFdOB), pp. 1683–1687.
LOPSTRLOPSTR-2001-KakehiGF #on the #parametricity
On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
FLOPSFLOPS-1999-Kuhnemann #comparison #functional #source code #transducer
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.
ICFPICFP-1999-Chitil #type inference
Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
IFLIFL-1999-Chitil
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
PPDPPPDP-1999-CorrensonDPR #case study #declarative #program transformation
Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
ICFPICFP-1997-Duris #attribute grammar #functional #programming
Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
POPLPOPL-1997-SeidlS #constraints #higher-order
Constraints to Stop Higher-Order Deforestation (HS, MHS), pp. 400–413.
SASSAS-1997-CorrensonDPR #attribute grammar #functional #programming
Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
PPDPPLILP-1996-Hamilton #higher-order
Higher Order Deforestation (GWH), pp. 213–227.
ESOPESOP-1996-Seidl #constraints #integer
Integer Constraints to Stop Deforestation (HS), pp. 326–340.
FPCAFPCA-1995-TakanoM
Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.
PPDPPLILP-1995-ChinK
Better Consumers for Deforestation (WNC, SCK), pp. 223–240.
SASSAS-1994-GluckJ #generative #supercompilation
Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.
ESOPESOP-1994-SorensenGJ #partial evaluation #supercompilation #towards
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.
FPCAFPCA-1993-GillLJ
A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.
SASWSA-1991-Chin #first-order #functional #source code
Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
ESOPESOP-1988-Wadler #named #source code
Deforestation: Transforming Programs to Eliminate Trees (PW), pp. 344–358.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.