the proceedings contain 21 papers. the special focus in this conference is on Keynote Address (Abstract) and programming Languages. the topics include: Experiences on the road to object utopia;the cartesian product al...
ISBN:
(纸本)3540601600
the proceedings contain 21 papers. the special focus in this conference is on Keynote Address (Abstract) and programming Languages. the topics include: Experiences on the road to object utopia;the cartesian product algorithm;a type-safe polymorphic object-oriented language;object imaging;optimization of object-oriented programs using static class hierarchy analysis;objects with multiple most specific classes;a marriage of class- and object-based inheritance without unwanted children;on subtyping and matching;using metaobject protocols to implement atomic data types;meta-level programming with CodA;an object-oriented framework for the formal verification of processors;incremental mature garbage collection using the train algorithm;message dispatch on pipelined processors;do object-oriented languages need special hardware support?;the inspiration for self;time and asynchrony in interactions among distributed real-time objects;object protocols as functional parsers;interface-based protocol specification of open systems using PSL;experience using design patterns to evolve communication software across diverse OS platforms;sharing properties in a uniform object space;a hypermedia programming environment for smalltalk-80.
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 3 papers. the topics discussed include: Peace COrP: learning to solve conflicts between contexts;the declarative nature of implicit layer activation;and push-based reactive layer activation in ...
ISBN:
(纸本)9781450349710
the proceedings contain 3 papers. the topics discussed include: Peace COrP: learning to solve conflicts between contexts;the declarative nature of implicit layer activation;and push-based reactive layer activation in context-orientedprogramming.
the proceedings contain 9 papers. the topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety ...
ISBN:
(纸本)9781450305402
the proceedings contain 9 papers. the topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety for java-like languages;modular verification of linked lists with views via separation logic;procedure-modular verification of control flow safety properties;prototyping a tool environment for run-time assertion checking in JML with communication histories;aliasing control with view-based typestate;refactoring and representation independence for class hierarchies;and a theory of typestate-orientedprogramming.
We present an implementation of the Train Algorithm, an incremental collection scheme for reclamation of mature garbage in generation-based memory management systems. To the best of our knowledge, this is the first Tr...
详细信息
ISBN:
(纸本)3540601600
We present an implementation of the Train Algorithm, an incremental collection scheme for reclamation of mature garbage in generation-based memory management systems. To the best of our knowledge, this is the first Train Algorithm implementation ever. Using the algorithm, the traditional mark-sweep garbage collector employed by the Mjolner run-time system for the object-oriented BETA. programming language was replaced by a non-disruptive one, with only negligible time and storage overheads.
We propose an object-oriented approach for the formal verification of processors. this approach has been validated on significant applications. It is based on a class hierarchy that provides the basic components to de...
详细信息
ISBN:
(纸本)3540601600
We propose an object-oriented approach for the formal verification of processors. this approach has been validated on significant applications. It is based on a class hierarchy that provides the basic components to describe processors at any abstraction level, and to specify verifications to execute. the originality of our method is to combine an object-oriented model (to ensure genericity) and a computer algebra verification system (to ensure efficiency). Computer experiments with our framework clearly shown three main advantages: processor descriptions are very easy to write down, the core of the verification system is generic so it may be applied without any modification to different processors, and last, the proof times are very short compared with previous approaches.
Meta-levels are complex pieces of software with diverse demands in boththe computation and interaction domains. Common techniques using just code to express behaviour fail to clearly assign responsibility for a parti...
详细信息
ISBN:
(纸本)3540601600
Meta-levels are complex pieces of software with diverse demands in boththe computation and interaction domains. Common techniques using just code to express behaviour fail to clearly assign responsibility for a particular behaviour's definition of to provide support for the reuse or integration of existing behaviour descriptions. the techniques of fine-grained decomposition of meta-level behaviour into objects and their subsequent composition into object models provides a framework for creating, reusing and integrating complex object behaviours. Using such a framework, we show that users can develop and integrate quite different object models while retaining a high degree of abstraction and fostering meta-level component reuse.
the ecoop Workshop on Mobile object Systems is now in its 9th year. Over the years, the workshop has dealt with topics related to the movement of code and data between application platforms, security, operating system...
ISBN:
(纸本)354022405X
the ecoop Workshop on Mobile object Systems is now in its 9th year. Over the years, the workshop has dealt with topics related to the movement of code and data between application platforms, security, operating system support, application quality of service, and programming language paradigms. In many cases, the workshop has been a forum to discussed traditional object-oriented issues, since mobility influences such a broad spectrum of topics.
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve performance. the results of these stud...
详细信息
ISBN:
(纸本)3540601600
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve performance. the results of these studies may no longer hold because compiler optimizations can remove a large fraction of the differences. Our measurements show that SELF programs are more similar to C programs than are C++ programs, even though SELF is much more radically object-orientedthan C++ and thus should differ much more from C. Furthermore, the benefit of tagged arithmetic instructions in the SPARC architecture (originally motivated by Smalltalk and Lisp implementations) appears to be small. Also, special hardware could hardly reduce message dispatch overhead since dispatch sequences are already very short. Two generic hardware features, instruction cache size and data cache write policy, have a much greater impact on performance.
暂无评论