The proceedings contain 26 papers. The topics discussed include: a co-relational model of data for large shared data banks;an empirical study of object protocols in the wild;the beauty and the beast: separating design...
ISBN:
(纸本)9783642226540
The proceedings contain 26 papers. The topics discussed include: a co-relational model of data for large shared data banks;an empirical study of object protocols in the wild;the beauty and the beast: separating design from algorithm;using structure-based recommendations to facilitate discoverability in APIs;mining evolution of object usage;improving the tokenization of identifier names;revisiting information hiding: reflections on classical and nonclassical modularity;worlds: controlling the scope of side effects;can we avoid high coupling?;expressiveness, simplicity, and users;a refactoring constraint language and its application to Eiffel;types, regions, and effects for safe programming with object-oriented parallel frameworks;tunable static inference for generic universe types;verifying multi-object invariants with relationships;and frequency estimation of virtual call targets for object-oriented programs.
The proceedings contain 22 papers. The special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. The topics include: Protocol-safe workflow support for santa claus;seman...
ISBN:
(纸本)354066954X
The proceedings contain 22 papers. The special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. The topics include: Protocol-safe workflow support for santa claus;semantic and usage packaging for software components;tackling interoperability problems during system integration;reasoning about object clients and distributed object interaction;automatic selection of problem solving libraries based on competence matching;behavioural mapping for service substitutability;conceptual design and development of applications based on object interoperability;improving the interoperability in multi-agent systems;automatic configuration in the 2K operating system;an explicit binding model for runtime extensible operating systems;supervision of CORBA applications;on the development of object-oriented operating systems for deeply embedded systems;scalable adaptation based on decomposition;an object-oriented operating system;an object-oriented, dynamically adaptable, virtual file system for CHEOPS;eliminating garbage collection by using virtual memory techniques to implement complete object persistence and object model with exchangeable invocation semantics.
The proceedings contain 44 papers. The topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable mu...
ISBN:
(纸本)9783959772815
The proceedings contain 44 papers. The topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable multiparty session protocols: generating concurrent go code from unbounded protocols;modular compilation for higher-order functional choreographies;on leveraging tests to infer nullable annotations;super-charging object-orientedprogramming through precise typing of open recursion;dynamic determinacy race detection for task-parallel programs with promises;algebraic replicated data types: programming secure local-first software;behavioral types for local-first software;constraint based compiler optimization for energy harvesting applications;restrictable variants: a simple and practical alternative to extensible variants;and programming with purity reflection: peaceful coexistence of effects, laziness, and parallelism.
The proceedings contain 23 papers. The special focus in this conference is on object-orientedprogramming. The topics include: Measurement strategies;will Europe ever produce and sell objects;type-safe compilation of ...
ISBN:
(纸本)9783540614395
The proceedings contain 23 papers. The special focus in this conference is on object-orientedprogramming. The topics include: Measurement strategies;will Europe ever produce and sell objects;type-safe compilation of covariant specialization;integrating subtyping, matching and type quantification;typed object-oriented functional programming with late binding;large scale object-oriented software-development in a banking environment;an application framework for module composition tools;automatic generation of user interfaces from data structure specifications and object-oriented application models;supporting explicit disambiguation of multi-methods;towards alias-free pointers;inheritance and cofree constructions;modeling subobject-based inheritance;parallel operators;an implementation method of migratable distributed objects using an RPC technique integrated with virtual memory management;protocol classes for designing reliable distributed environments;dynamic clustering in object databases exploiting effective use of relationships between objects;conceptual design of active object-oriented database applications using multi-level diagrams;generalising the beta type system;taking code reuse one step further and abstractions for collective behavior.
In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-orientedprogramming. More important wa...
详细信息
ISBN:
(数字)9783540478911
ISBN:
(纸本)9783540183532
In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-orientedprogramming. More important was their unanimous demand for other, more structured encounters. So, about one year later, the object group was created by AFCET. A second workshop was organized in Brest, and again one year later in Paris, each time showing increased attendance and interest. The success of these meetings and the fact that similar activities were taking place in other european countries, especially Great Britain and Germany, led to the idea of an annual europeanconference, providing a forum for theorists and practitioners interested in the object-orientedprogramming paradigm. It is impossible to acknowledge here all the people and organizations that welcomed with great enthusiasm the birth of the ecoopconference and contributed to its organization. More than a hundred submissions were received and the program committee had the unpleasant task of turning down many valuable contributions. We hope, however, that the selection of papers for ecoop'87 emphasizes the fundamental issues and problems of object-orientedprogramming and will point toward interesting future research directions.
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.
The proceedings contain 22 papers. The topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flo...
ISBN:
(纸本)9783959771900
The proceedings contain 22 papers. The topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flow analysis;gradual program analysis for null pointers;covariant conversions (CoCo): a design pattern for type-safe modular software evolution in object-oriented systems;ALPACAS: a language for parametric assessment of critical architecture safety;enabling additional parallelism in asynchronous JavaScript applications;differential privacy for coverage analysis of software traces;multiparty session types for safe runtime adaptation in an actor language;do bugs propagate? an empirical analysis of temporal correlations among software bugs;and linear promises: towards safer concurrent programming.
The proceedings contain 26 papers. The special focus in this conference is on Modelling Ideas and Experiences. The topics include: Multiperspective application development in evolutionary prototyping;extending the ODM...
ISBN:
(纸本)3540647376
The proceedings contain 26 papers. The special focus in this conference is on Modelling Ideas and Experiences. The topics include: Multiperspective application development in evolutionary prototyping;extending the ODMG object model with time;a unified object-oriented language for system modeling and simulation;synthesizing object-oriented and functional design to promote re-use;precise visual specification of design patterns;framework design for end-to-end optimization;flexible alias protection;a unified theory of dispatch;orthogonal to the java imperative;modelling a distributed cached store for garbage collection;cyclic distributed garbage collection with group merger;experiences developing a virtual shared memory system using high-level object paradigms;binary component adaptation;object-oriented architectural support for a java processor;a study of the fragile base class problem;providing orthogonal persistence for java;wrappers to the rescue;design and partial evaluation of meta-objects for a concurrent reflective language and reflection for statically typed languages.
The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with...
ISBN:
(纸本)9783959772259
The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with multiparty session types;how to take the inverse of a type;compiling volatile correctly in Java;functional programming with datalog;design-by-contract for flexible multiparty session protocols;a deterministic memory allocator for dynamic symbolic execution;defining corecursive functions in coq using approximations;what if we don’t pop the stack? the return of 2nd-class values;Maniposynth: bimodal tangible functional programming;direct foundations for compositional programming;Ferrite: a judgmental embedding of session types in rust;and Qilin: a new framework for supporting fine-grained context-sensitivity in Java pointer analysis.
The proceedings contain 24 papers. The special focus in this conference is on Invited Paper 1 and Mixins. The topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and ...
ISBN:
(纸本)3540661565
The proceedings contain 24 papers. The special focus in this conference is on Invited Paper 1 and Mixins. The topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and mixins;propagating class and method combination;a study of the allocation behavior of the SPECjvm98 java benchmarks;visualizing reference patterns for solving memory leaks in java;dynamic query-based debugging;foundations for virtual types;unifying genericity;an object-oriented effects system;providing persistent objects in distributed systems;inlining of virtual methods;modular statically typed multimethods;multi-method dispatch using multiple row displacement;internal iteration externalized;type-safe delegation for run-time component adaptation;towards automatic specialization of java programs;wide classes;an approach to classify semi-structured objects;object-orientedprogramming on the network;providing fine-grained access control for java programs;formal specification and prototyping of CORBA systems;a process algebraic specification of the new asynchronous CORBA messaging service;object-orientedprogramming.
暂无评论