Tag #deforestation
19 papers:
CEFP-2015-FernandesCSP #exclamation #tutorial- Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
SAC-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.
LOPSTR-2001-KakehiGF #on the #parametricity- On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
FLOPS-1999-Kuhnemann #comparison #functional #source code #transducer- Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.
ICFP-1999-Chitil #type inference- Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
IFL-1999-Chitil - Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
PPDP-1999-CorrensonDPR #case study #declarative #program transformation- Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
- ICFP-1997-Duris #attribute grammar #functional #programming
- Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
POPL-1997-SeidlS #constraints #higher-order- Constraints to Stop Higher-Order Deforestation (HS, MHS), pp. 400–413.
SAS-1997-CorrensonDPR #attribute grammar #functional #programming- Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
- PLILP-1996-Hamilton #higher-order
- Higher Order Deforestation (GWH), pp. 213–227.
ESOP-1996-Seidl #constraints #integer- Integer Constraints to Stop Deforestation (HS), pp. 326–340.
FPCA-1995-TakanoM - Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.
- PLILP-1995-ChinK
- Better Consumers for Deforestation (WNC, SCK), pp. 223–240.
- SAS-1994-GluckJ #generative #supercompilation
- Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.
- ESOP-1994-SorensenGJ #partial evaluation #supercompilation #towards
- Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.
- FPCA-1993-GillLJ
- A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.
- WSA-1991-Chin #first-order #functional #source code
- Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
- ESOP-1988-Wadler #named #source code
- Deforestation: Transforming Programs to Eliminate Trees (PW), pp. 344–358.
