Pointers or references can be identified as the root cause of many fundamental problems in current programminglanguages, typically resulting in unspecified object dependencies and missing hierarchical encapsulation. ...
详细信息
ISBN:
(纸本)9781595938657
Pointers or references can be identified as the root cause of many fundamental problems in current programminglanguages, typically resulting in unspecified object dependencies and missing hierarchical encapsulation. We therefore propose to abandon references from the language and to use expressive program relations instead. For this purpose, we have developed a programming language which is only based on hierarchical composition and interface connections.
There has been recognition that the writers' workshop process is beneficial for the production of high quality papers ever since the first patterns conference or PLoP was held in 1994. In this oopsla workshop, att...
详细信息
ISBN:
(纸本)9781595938657
There has been recognition that the writers' workshop process is beneficial for the production of high quality papers ever since the first patterns conference or PLoP was held in 1994. In this oopsla workshop, attendees will participate in a writers' workshop of their paper as well as writers' workshops for papers of other attendees in their group. Participants who do not have a paper to workshop are also invited. Everyone will be expected to read all the papers in their groups in advance. The organizers of this workshop were all involved in PLoP '06 and would like to continue a close association between this important patterns activity and oopsla. Our hope is that the relationship will benefit both oopsla, by attracting authors of papers that are works-in-progress, and PLoP, by allowing authors who might not be able to attend PLoP to participate in the writers' workshop process.
Adaptive programming allows developers to write structureshy programs. However, in Adaptive programming, recursive computations are known to require a good deal of boiler plate code to express. This paper describes pe...
详细信息
ISBN:
(纸本)9781595938657
Adaptive programming allows developers to write structureshy programs. However, in Adaptive programming, recursive computations are known to require a good deal of boiler plate code to express. This paper describes perobject visitors; a programming construct that allows developers to write recursive adaptive computations at a higher level of abstraction. This paper also describes a prototype implementation for perobject visitors.
An appealing strategy for supporting specialization of an object-oriented framework is to adopt a domain-specific modeling approach, where a domain meta-model and a code generator are manually developed to support mod...
详细信息
ISBN:
(纸本)9781595938657
An appealing strategy for supporting specialization of an object-oriented framework is to adopt a domain-specific modeling approach, where a domain meta-model and a code generator are manually developed to support model-driven framework specialization. Our research advocates that this support can be automated by having an additional specializationlayer in the framework.
Web applications exemplify the need for generative programmingtechniques in part due to the many languages, artifacts, and groups of developers involved. Some problems remain, including those that that arise from the ...
详细信息
ISBN:
(纸本)9781595938657
Web applications exemplify the need for generative programmingtechniques in part due to the many languages, artifacts, and groups of developers involved. Some problems remain, including those that that arise from the interplay with versioning. This paper proposes addressing these problems with structured program transformations, and explores a framework for the co-evolution of platform artifacts and the models that generate them.
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is a corner stone of agile software deve...
详细信息
ISBN:
(纸本)9781595938657
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is a corner stone of agile software development. CUTE and its Eclipse plug-in are an easy to use C++ testing framework.
A variety of different designs and optimisation strategies for trace monitoring have been proposed recently. Here, we examine tradeoffs in simplicity of implementation and expressiveness of supported patterns, briefly...
详细信息
ISBN:
(纸本)9781595938657
A variety of different designs and optimisation strategies for trace monitoring have been proposed recently. Here, we examine tradeoffs in simplicity of implementation and expressiveness of supported patterns, briefly discuss the underlying data structures of two mainstream implementations, and provide a short evaluation of the effectiveness of memory optimisations.
Developing large software systems has largely become an exercise in integration. The main effort is writing "glue" that holds externally developed components together. We will explore the shift away from com...
详细信息
ISBN:
(纸本)9781595938657
Developing large software systems has largely become an exercise in integration. The main effort is writing "glue" that holds externally developed components together. We will explore the shift away from commercial off-the-shelf (COTS) to free/open source software (F/OSS) components, and identify the opportunities and issues introduced by it.
The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predic...
详细信息
ISBN:
(纸本)9781595938657
The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.
Software frameworks contain many internal constraints which plugins cannot break. These constraints are relative to the context of the plugin, and they can involve multiple framework objects. This work creates a light...
详细信息
ISBN:
(纸本)9781595938657
Software frameworks contain many internal constraints which plugins cannot break. These constraints are relative to the context of the plugin, and they can involve multiple framework objects. This work creates a lightweight mechanism specifying semantic constraints on the framework and checking plugins against this specification.
暂无评论