Constraints to stop deforestation

DOI10.1016/S0167-6423(97)00031-2zbMATH Open0942.68024OpenAlexW2070118331MaRDI QIDQ1818321

Yanyan Li

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(97)00031-2

zbMATH Keywords

deforestation algorithmconstraint-based higher-order control-flow analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Forest defoliation scenarios 👍 👎
• Deforestation: Transforming programs to eliminate trees 👍 👎
• Deforestation and optimal management 👍 👎
• Deficiency of forests 👍 👎
• Minimal fine limits on trees 👍 👎
• Irreversibility and the economics of forest conservation 👍 👎
• Deforestation, program transformation, and cut-elimination 👍 👎

This page was built for publication: Constraints to stop deforestation