28,640 research outputs found
TreatJS: Higher-Order Contracts for JavaScript
TreatJS is a language embedded, higher-order contract system for JavaScript
which enforces contracts by run-time monitoring. Beyond providing the standard
abstractions for building higher-order contracts (base, function, and object
contracts), TreatJS's novel contributions are its guarantee of non-interfering
contract execution, its systematic approach to blame assignment, its support
for contracts in the style of union and intersection types, and its notion of a
parameterized contract scope, which is the building block for composable
run-time generated contracts that generalize dependent function contracts.
TreatJS is implemented as a library so that all aspects of a contract can be
specified using the full JavaScript language. The library relies on JavaScript
proxies to guarantee full interposition for contracts. It further exploits
JavaScript's reflective features to run contracts in a sandbox environment,
which guarantees that the execution of contract code does not modify the
application state. No source code transformation or change in the JavaScript
run-time system is required.
The impact of contracts on execution speed is evaluated using the Google
Octane benchmark.Comment: Technical Repor
The effects of scales, flows and filters on property rights and collective action in watershed management:
Research and policy on property rights, collective action and watershed management requires good understanding of ecological and socio-political processes at different social-spatial scales. On-farm soil erosion is a plot or farm-level problem that can be mitigated through more secure property rights for individual farmers, while the sedimentation of streams and deterioration of water quality are larger-scale problems that may require more effective collective action and / or more secure property rights at the village or catchment scale. Differences in social-political contexts across nations and regions also shape property rights and collective action institutions. For example, circumstances in the Lake Victoria basin in East Africa require particular attention to collective action and property rights problems in specific âhot spotâ areas where insecure tenure leads to overuse or under-investment. Circumstances in the uplands of Southeast Asia require analysis of the opportunities for negotiating more secure rights for farmers in exchange for stronger collective action by farmer groups for maintaining essential watershed functions.
Restructuring Production and Work
The paper analyzes the contemporary organizational restructuring of production and work and derives some salient implications for the labor market. The analysis focuses on the switch from occupational specialization at âTayloristicâ organizations to multi-tasking at âholisticâ organizations. The restructuring process is shown to create demands for new combinations of skills and thereby resegmentâ the labor market, raising the wages and job opportunities of some workers relative to others.Restructuring of firms; technological change; information flows; employment; labor market segmentation
Information (In)Efficiency in Prediction Markets
We analyze the extent to which simple markets can be used to aggregate dispersed information into efficient forecasts of unknown future events. From the examination of case studies in a variety of financial settings we enumerate and suggest solutions to various pitfalls of these simple markets. Despite the potential problems, we show that market-generated forecasts are typically fairly accurate in a variety of prediction contexts, and that they outperform most moderately sophisticated benchmarks. We also show how conditional contracts can be used to discover the markets belief about correlations between events, and how with further assumptions these correlations can be used to make decisions
A theory of contracts for web services
<p>Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. The use of contracts statically ensures the successful completion of every possible interaction between compatible clients and services.</p>
<p>The technical device that underlies the theory is the definition of filters, which are explicit coercions that prevent some possible behaviours of services and, in doing so, they make services compatible with different usage scenarios. We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder. The relation is decidable and the decision algorithm is obtained via a cut-elimination process that proves the coherence of subcontracting as a logical system.</p>
<p>Despite the richness of the technical development, the resulting approach is based on simple ideas and basic intuitions. Remarkably, its application is mostly independent of the language used to program the services or the clients. We also outline the possible practical impact of such a work and the perspectives of future research it opens.</p>
- âŠ