Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

The effect of incentive reforms upon productivity: Evidence from the Vietnamese rice industry

In this study we use region-level panel data on rice production in Vietnam to investigate total factor productivity (TFP) growth in the period since reunification in 1975. Two significant reforms were introduced during this period, one in 1981 allowing farmers to keep part of their produce, and another in 1987 providing improved land tenure. We measure TFP growth using two modified forms of the standard Malmquist data envelopment analysis (DEA) method, which we have named the Three-year-window (TYW) and the Full Cumulative (FC) methods. We have developed these methods to deal with degrees of freedom limitations. Our empirical results indicate strong average TFP growth of between 3.3 and 3.5 per cent per annum, with the fastest growth observed in the period following the first reform. Our results support the assertion that incentive related issues have played a large role in the decline and subsequent resurgence of Vietnamese agriculture.

Productivity growth in Australian manufacturing sector: some new evidence

This article examines the productivity performance of Australia's manufacturing sector by decomposing its output growth into input growth, technological progress and gains in technical efficiency. This three-way decomposition is done with an improved version of the stochastic frontier model using eight, two-digit industry level data from 1968/9 to 1994/5. Empirical evidence shows that input growth fueled output growth from 1968/9 to 1973/4, but since then, total factor productivity (TFP) growth has been the main contributor of output growth. While the trend of TFP growth was found to be promising for most industries with positive and increasing technological progress, the negative gains from technical efficiency over time is however cause for concern.

Productivity growth in pre-1990 Mongolian agriculture: Spiralling disaster or emerging success?

The reasons for the spectacular collapse of so many centrally-planned economies are a source of ongoing debate. In this paper, we use detailed farm-level data to measure total factor productivity (TFP) changes in Mongolian grain and potato farming during the 14-year period immediately preceding the 1990 economic reforms. We measure TFP growth using stochastic frontier analysis (SFA) and data envelopment analysis (DEA) methods. Our results indicate quite poor overall performance, with an average annual TFP change of - 1.7% in grain and 0.8% in potatoes, over the 14-year period. However, the pattern of TFP growth changed substantially during this period, with TFP growth exceeding 7% per year in the latter half of this period. This suggests that the new policies of improved education, greater management autonomy, and improved incentives, which were introduced in final two planning periods in the 1980s, were beginning to have a significant influence upon the performance of Mongolian crop farming. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.

How cost efficient are Australia's mining industries?

This paper uses a stochastic translog cost frontier model and a panel data of five key mining industries in Australia over 1968-1969 to 1994-1995 to investigate the sources of output growth and the effects of cost inefficiency on total factor productivity (TFP) growth. The results indicate that mining output growth was largely input-driven rather than productivity-driven. Although there were some gains from technological progress and economics of scale in production, cost inefficiency which barely exceeded 1.1% since the mid-1970s in the mining industries was the main factor causing low TFP growth. (C) 2002 Elsevier Science B.V. All rights reserved.

The productivity-inflation nexus: The case of the Australian mining sector

This paper examines the causal links between productivity growth and two price series given by domestic inflation and the price of mineral products in Australia's mining sector for the period 1968/1969 to 1997/1998. The study also uses a stochastic translog cost frontier to generate improved estimates of total factor productivity (TFP) growth. The results indicate negative unidirectional causality running from both price series to mining productivity growth. Regression analysis further shows that domestic inflation has a small but adverse effect on mining productivity growth, thus providing some empirical support for Australia's 'inflation first' monetary policy, at least with respect to the mining sector. Inflation in mineral price, on the other hand, has a greater negative effect on mining productivity growth via mineral export growth.

Pseudomonas aeruginosa fimL regulates multiple virulence functions by intersecting with Vfr-modulated pathways

Virulence of Pseudomonas aeruginosa involves the co-ordinate expression of a range of factors including type IV pili (tfp), the type III secretion system (TTSS) and quorum sensing. Tfp are required for twitching motility, efficient biofilm formation, and for adhesion and type III secretion (TTS)-mediated damage to mammalian cells. We describe a novel gene (fimL) that is required for tfp biogenesis and function, for TTS and for normal biofilm development in P. aeruginosa. The predicted product of fimL is homologous to the N-terminal domain of ChpA, except that its putative histidine and threonine phosphotransfer sites have been replaced with glutamine. fimL mutants resemble vfr mutants in many aspects including increased autolysis, reduced levels of surface-assembled tfp and diminished production of type III secreted effectors. Expression of vfr in trans can complement fimL mutants. vfr transcription and production is reduced in fimL mutants whereas cAMP levels are unaffected. Deletion and insertion mutants of fimL frequently revert to wild-type phenotypes suggesting that an extragenic suppressor mutation is able to overcome the loss of fimL. vfr transcription and production, as well as cAMP levels, are elevated in these revertants, while Pseudomonas quinolone signal (PQS) production is reduced. These results suggest that the site(s) of spontaneous mutation is in a gene(s) which lies upstream of vfr transcription, cAMP, production, and PQS synthesis. Our studies indicate that Vfr and FimL are components of intersecting pathways that control twitching motility, TTSS and autolysis in P. aeruginosa.

Obstacles to a totally functional programming style

"Totally functional programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practice in language extensibility and functional programming. Its technical essence extends the role of "fold" functions in structuring functional programs to include methods that make comparisons on elements of data structures. The obstacles that currently prevent the immediate uptake of TFP as a style within functional programming equally indicate future research directions in the areas of theoretical foundations, supporting technical infrastructure, demonstrated practical applicability, and relationship to OOP.