The proceedings contain 28 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On validity of program transformations in the java memory model; isolation-typed actors fo...
ISBN:
(纸本)3540705910;9783540705918
The proceedings contain 28 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On validity of program transformations in the java memory model; isolation-typed actors for java; a uniform transactional execution environment for java; a language with quantified, typed events; prototyping and composing aspect languages; assessing the impact of aspects on exception flows; incremental typechecking for class upgrades; integrating nominal and structural subtyping; flow analysis of code customizations; online phase-adaptive data layout selection; scalable memory management for multi-tasking managed runtime environments; externalizing java server concurrency with cal; regional logic for local reasoning about global invariants; a unified framework for verification techniques for object invariants; extensible universes for object-oriented data models; programming with live distributed objects; a language for robust software systems; session-based distributed programming in java; making software failures reproducible by preserving object states; an extensible state machine pattern for interactive applications; practical object-oriented back-in-time debugging; inference of reference immutability; computing stack maps with interfaces and an empirical study of inheritance in java software.
While OO has, become ubiquitously employed for design;implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Neverthe...
详细信息
ISBN:
(纸本)9783642020469
While OO has, become ubiquitously employed for design;implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Nevertheless, the choice of a programming paradigm is strongly influenced by the supporting programming language facilities. In turn, choice of programming language is usually highly constrained by practical considerations. We seek answers to the question of how to address the need for other programming paradigms, or even domain specific languages, in the general context of OO languages. It is clear that this field is active and fluid: novel, disparate approaches' and techniques are still being discovered or invented, And this very novelty adds a. significant element of intellectual entertainment. This article describes the cross section of research efforts reported at the, workshop on Multiparadigm programming in object-oriented Languages held at, the 2008europeanconference on object-orientedprogramming.
EOOLT'2008 was the second edition of the ecoop-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different applicat...
详细信息
ISBN:
(纸本)9783642020469
EOOLT'2008 was the second edition of the ecoop-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different application areas making use of such languages together. The aim of the workshop is to explore common grounds and derive software design principles that may make future EOO modeling languages more robust, more versatile, and more widely accepted among the various stakeholders. At EOOLT'2008, researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling approaches: modeling for multiple applications;modeling language design, and equation handling, diagnosis, and modeling.
The QAOOSE2008 workshop has been held at, ecoop 2008conference in Paphos, Cyprus on July 8th, 2008. This was the twelfth of the series of QAOOSE workshops intended to bring researchers and practitioners both from aca...
详细信息
ISBN:
(纸本)9783642020469
The QAOOSE2008 workshop has been held at, ecoop 2008conference in Paphos, Cyprus on July 8th, 2008. This was the twelfth of the series of QAOOSE workshops intended to bring researchers and practitioners both from academia and industry together. The workshop provided a forum to discuss the current state of the art and the practice in the area of quantitative approaches in the related to object-orientation. This report includes a summary of the technical presentations and the subsequent discussions. Six papers has been accepted by the workshop organizers. The presentations were followed by vivid discussions.
This report covers the activities of the 5th european Lisp and Scheme Workshop. We introduce the motivation for a workshop focusing on languages in the Lisp family, and mention relevant organizational aspects. We summ...
详细信息
ISBN:
(纸本)9783642020469
This report covers the activities of the 5th european Lisp and Scheme Workshop. We introduce the motivation for a workshop focusing on languages in the Lisp family, and mention relevant organizational aspects. We summarize the presentations and discussions, including Mark Tarver and Rich Hickey's keynote talks, and provide pointers to related work and events.
We present a datatype package that enables the shallow embedding technique to object-oriented specification andprogramming languages. This datatype package incrementally compiles an object-oriented data model to a th...
详细信息
ISBN:
(纸本)9783540705918
We present a datatype package that enables the shallow embedding technique to object-oriented specification andprogramming languages. This datatype package incrementally compiles an object-oriented data model to a theory containing object-universes, constructors, accessors functions, coercions between dynamic and static types, characteristic sets, their relations reflecting inheritance, and the necessary class invariants. The package is conservative, i.e., all properties are derived entirely from axiomatic definitions. As an application, we use the package for an object-oriented core-language called IMP++, for which correctness of a Hoare-Logic with respect to an operational semantics is proven.
While object-orientedprogramming has been embraced in industry, particularly in the form of C++, Java, and Python, its acceptance by the parallel scientific programming community is for various reasons incomplete. No...
详细信息
ISBN:
(纸本)9783642020469
While object-orientedprogramming has been embraced in industry, particularly in the form of C++, Java, and Python, its acceptance by the parallel scientific programming community is for various reasons incomplete. Nonetheless, various factors practically dictate the rise of language features that provide higher level abstractions than do C or older FORTRAN standards. These include increasingly complex physics models, numerical algorithms, and hardware (e.g. deep memory hierarchies, ever-increasing numbers of processors, and the advent of multi- and manycore processors and heterogeneous architectures). Our emphases are oil identifying specific problems impeding greater acceptance and widespread use of object-orientedprogramming in scientific computing;proposed and implemented solutions to these problems;and new or novel frameworks, approaches, techniques, or idioms for parallel/high-performance object-oriented scientific computing.
The power of objects lies in the flexibility of their interconnection structure. But this flexibility conies at a cost. Because an object can be modified via any alias, object-oriented programs are hard to understand,...
详细信息
ISBN:
(纸本)9783642020469
The power of objects lies in the flexibility of their interconnection structure. But this flexibility conies at a cost. Because an object can be modified via any alias, object-oriented programs are hard to understand, maintain, and analyze. Aliasing makes objects depend on their environment in unpredictable ways, breaking the encapsulation necessary for reliable software components, making it, difficult to reason about and optimize programs, obscuring the flow of information between objects, and introducing security problems. Aliasing is a fundamental difficulty, but, we accept its presence. Instead we seek techniques for describing, reasoning about, restricting, analyzing, and preventing the connections between objects and/or the flow of information between them. Promising approaches to these problems are based on ownership, confinement, information flow, sharing control, escape analysis, argument independence, read-only references, effects systems. and access control mechanisms.
ICOOOLPS'2008 was the third edition of the ICOOOLPS workshop at ecoop. ICOOOLPS intends to bring researchers and practitioners both from academia, and industry together, with a spirit of openness, to try and ident...
详细信息
ISBN:
(纸本)9783642020469
ICOOOLPS'2008 was the third edition of the ICOOOLPS workshop at ecoop. ICOOOLPS intends to bring researchers and practitioners both from academia, and industry together, with a spirit of openness, to try and identity and begin to address the numerous and very varied issues of optimization. After two very successful editions, this third put a stronger emphasis on exchanges and discussions amongst the participants, progressing on the bases set previous years in Nantes and Berlin. The workshop attendance was relatively successful: There was about 20 attendees which was good considering the remote location and that the general attendance of ecoop was much lower than expected. Some of the discussions (e.g., much of the afternoon sessions) were so successful that they would required even more time than we were able to dedicate to them. That is one area we plan to further improve vet again for the next, edition.
暂无评论