Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

Extending private-collective innovation: a case study

The private-collective innovation model proposes incentives for individuals and firms to privately invest resources to create public goods innovations. Such innovations are characterized by non-rivalry and non-exclusivity in consumption. Examples include open source software, user-generated media products, drug formulas, and sport equipment designs. There is still limited empirical research on private-collective innovation. We present a case study to (1) provide empirical evidence of a case of private-collective innovation, showing specific benefits, and (2) to extend the private-collective innovation model by analyzing the hidden costs for the company involved. We examine the development of the Nokia Internet Tablet, which builds on both proprietary and open source software development, and that involves both Nokia developers and volunteers who are not employed by the company. Seven benefits for Nokia are identified, as are five hidden costs: difficulty to differentiate, guarding business secrets, reducing community entry barriers, giving up control, and organizational inertia. We examine the actions taken by the management to mitigate these costs throughout the development period.

Embedding Languages Without Breaking Tools

Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts of an application related to specialized domains. Unfortunately, such language extensions typically do not integrate well with the development tools of the host language. Editors, compilers and debuggers are either unaware of the extensions, or must be adapted at a non-trivial cost. We present a novel approach to embed DSLs into an existing host language by leveraging the underlying representation of the host language used by these tools. Helvetia is an extensible system that intercepts the compilation pipeline of the Smalltalk host language to seamlessly integrate language extensions. We validate our approach by case studies that demonstrate three fundamentally different ways to extend or adapt the host language syntax and semantics.

Late Pleistocene glaciation in the Central Andes: Temperature versus humidity control A case study from the eastern Bolivian Andes (17°S) and regional synthesis

A glacier–climate model was used to calculate climatic conditions in a test site on the east Andean slope around Cochabamba (17°S, Bolivia) for the time of the maximum Late Pleistocene glaciation. Results suggest a massive temperature reduction of about − 6.4 °C (+ 1.4/− 1.3 °C), combined with annual precipitation rates of about 1100 mm (+ 570 mm/− 280 mm). This implies no major change in annual precipitation compared with today. Summer precipitation was the source for the humidity in the past, as is the case today. This climate scenario argues for a maximum advance of the paleo-glaciers in the eastern cordillera during the global Last Glacial Maximum (LGM, 20 ka BP), which is confirmed by exposure age dates. In a synthesized view over the central Andes, the results point to an increased summer precipitation-driven Late Glacial (15–10 ka BP) maximum advance in the western part of the Altiplano (18°S–23°S), a temperature-driven maximum advance during full glacial times (LGM) in the eastern cordillera, and a pre- and post-LGM (32 ka BP/14 ka BP) maximum advance around 30°S related to increased precipitation and reduced temperature on the western slope of the Andes. The results indicate the importance of understanding the seasonality and details of the mass balance–climate interaction in order to disentangle drivers for the observed regionally asynchronous past glaciations in the central Andes.