FliPpr: A Prettier Invertible Printing System

When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations

Optimal use of carbon sequestration in a global climate change strategy : is there a wooden bridge to a clean energy future ?

s. Whether it should be part of a global climate mitigation strategy, however, remains controversial. One of the key issues is that, contrary to emission abatement, carbon sequestration might not be permanent. But some argue that even temporary sequestration is beneficial as it delays climate change impacts and"buys"time for technical change in the energy sector. To rigorously assess these arguments, the authors build an international optimization model in which both sequestration and abatement can be used to mitigate climate change. They confirm that permanent sequestration, if feasible, can be overall part of a climate mitigation strategy. When permanence can be guaranteed, sequestration is equivalent to fossil-fuel emissions abatement. The optimal use of temporary sequestration, on the other hand, depends mostly on marginal damages of climate change. Temporary sequestration projects starting now, in particular, are not attractive if marginal damages of climate change at current concentration levels are assumed to be low.Montreal Protocol,Environmental Economics&Policies,Climate Change,Economic Theory&Research,Global Environment Facility,Energy and Environment,Environmental Economics&Policies,Montreal Protocol,Carbon Policy and Trading,Climate Change

Type-Inference Based Short Cut Deforestation (nearly) without Inlining

Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. In [ICFP'99] we presented a type-inference based deforestation algorithm which performs extensive inlining. However, across module boundaries only limited inlining is practically feasible. Furthermore, inlining is a non-trivial transformation which is therefore best implemented as a separate optimisation pass. To perform short cut deforestation (nearly) without inlining, Gill suggested to split definitions into workers and wrappers and inline only the small wrappers, which transfer the information needed for deforestation. We show that Gill's use of a function build limits deforestation and note that his reasons for using build do not apply to our approach. Hence we develop a more general worker/wrapper scheme without build. We give a type-inference based algorithm which splits definitions into workers and wrappers. Finally, we show that we can deforest more expressions with the worker/wrapper scheme than the algorithm with inlining

Reducing Deforestation and Trading Emissions: Economic Implications for the post-Kyoto Carbon Market

This paper quantitatively assesses the economic implications of crediting carbon abatement from reduced deforestation for the emissions market in 2020 by linking a numerical equilibrium model of the global carbon market with a dynamic partial equilibrium model of the forestry sector. We find that integrating avoided deforestation in international emissions trading considerably decreases the costs of post-Kyoto climate policy – even when accounting for conventional abatement options of developing countries under the CDM. At the same time, tropical rainforest regions receive substantial net revenues from exporting carbon-offset credits to the industrialized world. Moreover, reduced deforestation can increase environmental effectiveness by enabling industrialized countries to tighten their carbon constraints without increasing mitigation costs. Regarding uncertainties of this future carbon abatement option, we find both forestry transaction costs and deforestation baselines to play an important role for the post-Kyoto carbon market. --Climate Change,Kyoto Protocol,Emissions Trading,Deforestation

Deforestation and credit cycles in Latin American countries

This paper establishes a link between deforestation and credit cycles in Latin American countries. The latter exhibit rapid deforestation rates as well as macroeconomic instability that is often rooted in credit booms and crunches episodes: data available on the last years show a coincidence between higher macroeconomic instability and deforestation increases. This paper provides a theoretical explanation and econometric investigations of this phenomenon. A key ingredient of the model is the existence of two sectors: a modern agricultural sector and a subsistence one, which are hypothesised to catch the basic features of Latin American agricultural sectors. Agricultural production relies on three production factors: land, capital and labour. Agents clear forested areas in order to increase agricultural lands. Interest rates movements have an effect on agricultural decisions and thus on deforestation since they induce factor movements between the agricultural sectors. It is shown that deforestation occurs in response to interest rates increases or decreases primarily because of the irreversible character of forest conversion. Econometric tests are conducted on the 1948-2005 period on an exhaustive sample of Latin American countries. The database on deforestation is a compilation of FAO censuses and several measures of credit cycles are calculated as well. The main output of the paper is to evidence a link between credit cycles and deforestation. The results are robust to the introduction of usual control variables in deforestation equations.Credit cycles;deforestation;Latin America

The REDD scheme to curb deforestation: A well-designed system of incentives?

Bioprospection is, largely, meant to help reducing deforestation and, the other way around, stopping deforestation enhances the prospects of bioprospection. The need for a global agreement to the problem of tropical deforestation has led to the REDD (Reducing Emissions from Deforestation and Degradation) scheme, which proposes that developed countries pay developing countries for CO2 emissions saved through avoided deforestation and degradation. The remaining issue at stake is to definer the rules defning payments to countries reducing their deforestation rate. This article develops a game-theoretic bargaining model, simulating the on-going negotiation process which is currently taking place within the Convention of Climate Change, after the Copenhagen agreement of December 2009. It shows that the conditions under which developing countries are left to bargain over the allocation of the global forest fund may lead to an ineffective system of incentives. Below a given level of contributions from the North, the mechanism fails to curb the deforestation. Beyond this level, it induces perverse effects: the larger the North's contribution, the larger the deforestation rate. Consequently, the mechanism is most effective only at a specifc threshold level which, given the unobservability of countries'preferences, can only be found by a repeated "trial and error" implementation process.

Ethanol Production, Food and Forests

This paper investigates the direct and indirect impacts of ethanol production on land use, deforestation and food production. A partial equilibrium model of a national economy with two sectors and two regions, one of which includes a residual forest, is developed. It analyses how an exogenous increase in the ethanol price affects input allocation (land and labor) between sectors (energy crop and food). Three potential effects are identified. First, the standard and well-documented effect of direct land competition between rival uses increases deforestation and decreases food production. Second, an indirect displacement of food production across regions, provoked by a shift in the price of food, increases deforestation and reduces the total output of the food sector. Finally, labor mobility between sectors and regions tends to decrease food production but also deforestation. The overall impact of ethanol production on forest conversion is ambiguous, providing a number of interesting pointers to further, empirical research. --Ethanol,Deforestation,Indirect impacts,Land use,Migration

Deforestation and credit cycles in Latin American countries

This paper establishes a link between deforestation and credit cycles in Latin American countries. The latter exhibit rapid deforestation rates as well as macroeconomic instability that is often rooted in credit booms and crunches episodes: data available on the last years show a coincidence between higher macroeconomic instability and deforestation increases. This paper provides a theoretical explanation and econometric investigations of this phenomenon. A key ingredient of the model is the existence of two sectors: a modern agricultural sector and a subsistence one, which are hypothesised to catch the basic features of Latin American agricultural sectors. Agricultural production relies on three production factors: land, capital and labour. Agents clear forested areas in order to increase agricultural lands. Interest rates movements have an effect on agricultural decisions and thus on deforestation since they induce factor movements between the agricultural sectors. It is shown that deforestation occurs in response to interest rates increases or decreases primarily because of the irreversible character of forest conversion. Econometric tests are conducted on the 1948-2005 period on an exhaustive sample of Latin American countries. The database on deforestation is a compilation of FAO censuses and several measures of credit cycles are calculated as well. The main output of the paper is to evidence a link between credit cycles and deforestation. The results are robust to the introduction of usual control variables in deforestation equations.Credit cycles, deforestation, Latin America