the proceedings contain 26 papers. the special focus in this conference is on object-orientedprogramming. the topics include: Active programming strategies in reuse;frameworks in the financial engineering domain an e...
ISBN:
(纸本)9783540571209
the proceedings contain 26 papers. the special focus in this conference is on object-orientedprogramming. the topics include: Active programming strategies in reuse;frameworks in the financial engineering domain an experience report;integrating independently-developed components in object-oriented languages;encapsulating plurality;objectoriented interoperability;implementation of distributed trellis;a new definition of the subtype relation;attaching second-order types to methods in an object-oriented language;typed sets as a basis for object-oriented database schemas;the OSI managed-object model;nested mixin-methods in agora;solving the inheritance anomaly in concurrent object-orientedprogramming;type inference of self;predicate classes;a temporal object-oriented algebra;a timed calculus for distributed objects with clocks;a language framework for multi-object coordination;panda — supporting distributed programming in C++;transparent parallelisation through reuse: between a compiler and a library approach;design patterns: abstraction and reuse of object-oriented design;tangible specification of reactive object behavior;an agent perspective;designing an extensible distributed language with a meta-level architecture;a flexible metaclass generator and aims, means, and futures of object-oriented languages.
For the ninth time now, the europeanconference on object-oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fi...
详细信息
ISBN:
(数字)9783540495383
For the ninth time now, the europeanconference on object-oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fierce c- petition from an increasing number of attractive conferences on object-related topics, ecoop has successfully positioned itself as the premier european - ject technology conference. One reason is without doubt the composition of the conference week and the nature of its events. Running in parallel on the first two days, a comprehensive tutorial program and a very selective workshop program are offered to attendees. this is followed by a three-day technical p- gram organized in a single track providing a highly communicative atmosphere of scientific exchange and learning. Overlapping withthese events are a two-day industrial exhibition and a two-day opportunity for non-industrial system dev- opers to demonstrate their software. thus, ecoop is not just a conference on programming but an event touching on the full spectrum of object technology. this volume constitutes the proceedings of the Nintheuropeanconference on object-orientedprogramming, ecoop, held in Aarhus, Denmark, August 7-11, 1995. Previous ecoopconferences were held in Paris (France), Oslo (Norway), Nottingham (England), Ottawa (Canada, jointly with OOPSLA) , Geneva (Switzerland), Utrecht (the Netherlands) , Kaiserslautern (Germany) , and Bologna (Italy). object technology continues to increase its impact on the corporate world.
the proceedings contain 19 papers. the special focus in this conference is on object-orientedprogramming. the topics include: 11th workshop for PhD students in object-oriented systems;quality of service in distribute...
ISBN:
(纸本)3540436758
the proceedings contain 19 papers. the special focus in this conference is on object-orientedprogramming. the topics include: 11th workshop for PhD students in object-oriented systems;quality of service in distributed object systems and distributed multimedia object/component systems;formal techniques for java programs;automating object-oriented software development methods;adaptive object-models and metamodeling techniques;specification, implementation, and validation of object-oriented embedded systems;feature interaction in composed systems;6thworkshop on component-orientedprogramming;advanced separation of concerns;multiparadigm programming with OO languages;generative programming;4th workshop on object-oriented architectural evolution;7th workshop on mobile object systems;the next 700 distributed object systems;quantitative approaches in object-oriented software engineering;object-oriented business solutions;4th workshop on OO and operating systems;the next 700 distributed object systems and poster session.
the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - thro...
ISBN:
(纸本)9781450308915
the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - through the prompt-loyal strategy;a context management infrastructure with language integration support;JavaCtx: seamless toolchain integration for context-orientedprogramming;context-orientedprogramming for mobile devices: JCop on Android;implementing scoped method tracing with ContextJS;and CJAdviser: SMT-based debugging support for ContextJ*.
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.
objectoriented Interoperability is an extension and generalization of the Procedure oriented Interoperability approaches taken in the past. It provides an interoperability support frame by considering the object as t...
详细信息
Component-based programming is currently carried out using mainstream object-oriented languages. the languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility....
详细信息
ISBN:
(纸本)3540437592
Component-based programming is currently carried out using mainstream object-oriented languages. the languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. this paper investigates abstractions for component-orientedprogramming on the programming language level. We propose a simple prototype-based model for first-class components on top of a class-based object-oriented language. the model is formalized as an extension of Featherweight Java. Our calculus includes a minimal set of primitives to dynamically build, extend, and compose software components, while supporting features like explicit context dependencies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.
In this paper we present our findings on teaching objectorientedprogramming (OOP) with BlueJ in the context of a one-semester programming course. Specifically, we present the evolution of the course, results from it...
详细信息
ISBN:
(纸本)9780769529165
In this paper we present our findings on teaching objectorientedprogramming (OOP) with BlueJ in the context of a one-semester programming course. Specifically, we present the evolution of the course, results from its evaluation and proposals for a more effective teaching of OOP. Our proposals focus on the way that the features of BlueJ, the accompanying textbook and the well-known guidelines for teaching object orientation with Java presented by the team of BlueJ should be used, in order to avoid some underlying pitfalls.
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-orientedprogramming languages allow the programmer to explicitly express relationships. this paper dis...
详细信息
ISBN:
(纸本)9783642226557;9783642226540
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-orientedprogramming languages allow the programmer to explicitly express relationships. this paper discusses how relationships facilitate the verification of multi-object invariants. We develop a visible states verification technique for Rumer, a relationship-based programming language, and demonstrate our technique on the Composite pattern. the verification technique leverages the "Matryoshka Principle" embodied in the Rumer language: relationships impose a stratification of classes and relationships (with corresponding restrictions on writes to fields, the expression of invariants, and method invocations). the Matryoshka Principle guarantees the absence of transitive call-backs and restores a visible states semantics for multi-object invariants. As a consequence, the modular verification of multi-object invariants is possible.
暂无评论