Orient84/K is a concurrentprogramming language/system which is designed to be used in describing knowledge systems and systems of more general applications. The basic construct of Orient84/K is designed based on and ...
详细信息
The proceedings contain 19 papers. The topics discussed include: an object-oriented framework for graphical programming;compilation into actors;exceptions in object-oriented languages;a generalized object model;object...
ISBN:
(纸本)0897912055
The proceedings contain 19 papers. The topics discussed include: an object-oriented framework for graphical programming;compilation into actors;exceptions in object-oriented languages;a generalized object model;objects in concurrent logic programming languages;concurrentprogramming in orient84ik: an object-oriented knowledge representation language;enhancement for multiple-inheritance;an overview of actor languages;a comparison of the object-oriented and process paradigms;maintaining consistency in a database with changing types;extensions and foundations of object-oriented programming;an algebraic model of subtypes in object-oriented languages (draft);basic concepts in object oriented programming;a mechanism for specifying the structure of large, layered, object-oriented programs;block structure and object oriented languages;and classification in object-oriented systems.
This paper describes the object-oriented basis of the GARDEN graphical programming system developed at Brown University. GARDEN is a general framework for graphical programming that provides a programming environment ...
详细信息
The object-oriented and process-oriented paradigms are very similar approaches to programming-in-the-large. Both have computational models based upon message passing;both provide a clear separation between external in...
详细信息
This paper has three major objectives: (i) to provide several new features for object-oriented programming (OOP);(ii) to provide a rigorous logical semantics for OOP;and (in) to unify OOP with functional programming. ...
详细信息
The proceedings contain 38 papers. The topics discussed include: extended naming conventions for communicating processes;programming aspects of VLSI;termination of probabilistic concurrent programs;optimal code for co...
ISBN:
(纸本)0897910656
The proceedings contain 38 papers. The topics discussed include: extended naming conventions for communicating processes;programming aspects of VLSI;termination of probabilistic concurrent programs;optimal code for control structures;unbounded speed variability in distributed communication systems;messages as active agents;automatic generation of machine specific code optimizers;a flexible approach to interprocedural data flow analysis and programs with recursive data structures;specification and synthesis of communicating processes using an extended temporal logic;guardians and actions: linguistic support for robust, distributed programs;a type declaration and inference system for Smalltalk;code generation and reorganization in the presence of pipeline constraints;unified dialogue management in the carousel system;eliminating redundant object code;lithe: a language combining a flexible syntax and classes;description -driven code generation using attribute grammars;experience with an attribute grammar-based compiler;optimal-time incremental semantic analysis for syntax-directed editors;and maple: a programming language and operating system.
This volume represents the seventh edition of the ECOOP workshop Reader, a compendiumofworkshopreportsfromthe17thEuropeanConferenceonobject- Oriented programming (ECOOP 2003), held in Darmstadt, Germany, during July 2...
详细信息
ISBN:
(数字)9783540259343
ISBN:
(纸本)9783540224051
This volume represents the seventh edition of the ECOOP workshop Reader, a compendiumofworkshopreportsfromthe17thEuropeanConferenceonobject- Oriented programming (ECOOP 2003), held in Darmstadt, Germany, during July 21–25, 2003. The workshops were held during the ?rst two days of the conference. They cover a wide range of interesting and innovative topics in object-oriented te- nology and o?ered the participants an opportunity for interaction and lively discussion. Twenty-one workshops were selected from a total of 24 submissions based on their scienti?c merit, the actuality of the topic, and their potential for a lively interaction. Unfortunately, one workshop had to be cancelled. Special thanks are due to the workshop organizers who recorded and s- marized the discussions. We would also like to thank all the participants for their presentations and lively contributions to the discussion: they made this volume possible. Last, but not least, we wish to express our appreciation to the members of the organizing committee who put in countless hours setting up and coordinating the workshops. We hope that this snapshot of current object-oriented technology will prove stimulating to you. October 2003 Frank Buschmann Alejandro Buchmann Mariano Cilia Organization ECOOP 2003 was organized by the Software Technology Group, Department of Computer Science, Darmstadt University of Technology under the auspices of AITO (Association Internationale pour les Technologies Objets) in cooperation with acmsigplan. The proceedings of the main conference were published as LNCS 2743.
暂无评论