检索结果-内蒙古大学图书馆

1990 workshop on object-based concurrent programming, OOPSLA/ECOOP 1990

作者： Di Santo, Michele Iannello, Giulio Istituto di Fisica Matematica e Informatica Università di Salerno Fisciano SA84084 Italy

ISBN: (纸本)0897914112

We are engaged in a research aiming to implement, on a highly-parallel distributed-memory architecture, a set of primitives based on the actor model. In this paper, the motivations and a number of preliminary results of the project are reported. Discussion is focused on implementation issues. The overall software architecture of the distributed run-time kernel is presented. Solutions to mail address representation and to distributed collection of garbage actors are briefly described. © proceedings of the workshop on object-based concurrent programming, OOPSLA/ECOOP 1990. All rights reserved.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Constraints in concurrent object-oriented environments

Constraints in concurrent object-oriented environments

引用

1990 workshop on object-based concurrent programming, OOPSLA/ECOOP 1990

作者： Laffra, Chris Van Den Bos, Jan SERC - Software Engineering Research Center P.O. Box 424 Utrecht3500 AK Netherlands Leiden University Department of Computer Science P.O. Box 9512 Leiden2300 RA Netherlands

ISBN: (纸本)0897914112

A constraint is a numeric or geometric relationship between objects. Constraints have a declarative nature. Constraints are a natural way for describing relationships between objects. Combining constraint systems and object-oriented programming (OOP) appears hard. All ezisting systems implicitly compromise the encapsulation principle of OOP. This paper proposes a mechanism that provides for constraints in an object-oriented environment. Constraints are triggered by messages that are being sent to objects. Constraints are resolved through local propagation of known state. We claim that this is the most practical technique in a concurrent or parallel object environment. No compromise has been made to the OOP paradigm. Therefore a truly object-oriented approach to constraint programming is the result. © proceedings of the workshop on object-based concurrent programming, OOPSLA/ECOOP 1990. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The impact of selected concurrent language constructs on the sam run-time system

The impact of selected concurrent language constructs on the...

引用

1990 workshop on object-based concurrent programming, OOPSLA/ECOOP 1990

作者： Prelle, Myra Jean Wollrath, Ann M. Brando, Thomas J. Bensley, Edward H. Mitre Corporation BedfordMA United States

ISBN: (纸本)0897914112

We present an overview of a model of execution for concurrent object-oriented general-purpose computation, and a run-time system-SAM-that supports the model of execution. The basic model, which is transparent to the programmer, uses data-driven synchronization and speculative computation to obtain concurrency, and rollback to ensure correctness. We discuss extensions to the basic model that include two new kinds of objects, multifutures and guarded objects, and language constructs such as parallel-do and divide-and-conquer, as well as other constructs that allow the programmer to control how futures are processed. While all of these extensions appear useful, some can be integrated more naturally than others into the model of execution. © proceedings of the workshop on object-based concurrent programming, OOPSLA/ECOOP 1990. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Propagators and concurrent constraints

Propagators and concurrent constraints

引用

1990 workshop on object-based concurrent programming, OOPSLA/ECOOP 1990

作者： Laffra, Chris Van Den Bos, Jan SERC - Software Engineering Research Center P.O. Box 424 Utrecht3500 AK Netherlands Department of Computer Science University of Leiden P.O. Box 9512 Leiden2300 RA Netherlands

ISBN: (纸本)0897914112

A constraint is a numeric or geometric relationship between objects. Constraints have a declarative nature and are a natural way for describing relationships between objects. Combining constraint systems and object-oriented programming (COP) appears hard. All existing systems implicitly compromise the encapsulation principle of COP. Also, the constraint resolving mechanism is typically centralized, thereby restricting parallel execution of a constraint program. This paper proposes a mechanism that provides for constraints in the concurrent (parallel) object-oriented Procol environment. Constraints are implemented using propagators. Propagators are triggered by messages that are sent to objects. Propagator constraints are solved by local propagation of known state, intuitively allowing for parallel execution of a Procol constraint program. © proceedings of the workshop on object-based concurrent programming, OOPSLA/ECOOP 1990. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ObjVProlog-D: A reflexive object-oriented logic language for distributed computing

ObjVProlog-D: A reflexive object-oriented logic language for...

引用

1990 workshop on object-based concurrent programming, OOPSLA/ECOOP 1990

作者： Malenfant, J. Lapalme, G. Vaucher, J. Équipe Mixte Rank-Xerox France - LITP Université Pierre et Marie Curie 4 Place Jussieu Paris Cedex 0575252 France Département d'Informatique et de Recherche Opérationnelle Université de Montréal C.P. 6128 Succursale A MontrealQCH3C 3J7 Canada

ISBN: (纸本)0897914112

The ObjVProlog-D programming language extends logic programming with concepts of object-oriented and distributed programming, providing a semantically complete and coherent model inspired by ObjVLisp where metaclasses are treated as first-class entities. It is based on concurrent logic objects interacting through remote logic method calls. It preserves the Prolog don't know nondeterminism by implementing distributed backtracking to search for all solutions to goals. It uses asynchronous messages for communication and future logic variables for synchronization. Furthermore, its metaclass and reflexive features improve significantly the use of widespread metaprogramming techniques. ObjVProlog-D is implemented in Quintus Prolog and distributcd applications have run on a network of workstations. © proceedings of the workshop on object-based concurrent programming, OOPSLA/ECOOP 1990. All rights reserved.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

proceedings of the Conference on object-Oriented programming Systems, Languages, and Applications, OOPSLA

Proceedings of the Conference on Object-Oriented Programming...

引用

1990 European Conference on object-Oriented programming Addendum: Systems, Languages, and Applications: Systems, languages, and Applications, OOPSLA/ECOOP 1990

ISBN: (纸本)0897914430

The proceedings contain 15 papers. The topics discussed include: object-oriented programming versus object-oriented design: what�s the connection?;foundations of object-based concurrent programming;structured analysis and object oriented analysis;designing reusable designs: experiences designing object-oriented frame works;issues in object data management;OOP in the real world;garbage collection in object-oriented systems;third CLOS users and implementors workshop;transactions and objects;and graphics for object oriented software engineering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LO and behold! concurrent structured processes 90

LO and behold! Concurrent structured processes

引用

1990 European Conference on object-Oriented programming on object-Oriented programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990

作者： Anclreoli, Jean-Marc Pareschi, Remo ECRC Arabellastrasse 17 Munich 81D-8000 Germany

ISBN: (纸本)0897914112

We introduce a novel concurrent logic programming language, which we call LO, based on an extension of Horn logic. This language enhances the process view of objects implementable in Horn-based concurrent logic programming languages ivith powerful capabilities for knowledge structuring, leading to a flexible form of variable-structure inheritance. The main novelty about LO is a new kind of OR-concurrency which is dual to the usual AND-concurrency and provides us with the notion of structured process. Such OR-concurrency can be nicely characterized with a sociological metaphor as modelling the internal distribution of tasks inside a complex organization;this complements the external cooperation among different entities accounted for by AND-concurrency. © 1990 acm.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

concurrent aggregates: Using multiple-access data abstractions to manage complexity in concurrent programs

Concurrent aggregates: Using multiple-access data abstractio...

引用

1990 workshop on object-based concurrent programming, OOPSLA/ECOOP 1990

作者： Chien, Andrew A. 2212 Digital Computer Laboratory 1304 W. Springfield Avenue UrbanaIL61801 United States

ISBN: (纸本)0897914112

To program massively concurrent MIMD machines, programmers need tools for managing complexity. One important tool that has been used in the sequential programming world is hierarchies of abstractions. Unfortunately, most concurrent object-oriented languages construct hierarchical abstractions from objects that serialize - serializing the abstractions. In machines with tens of thousands of processors, unnecessary serialization of this sort can cause significant loss of concurrency. concurrent Aggregates (CA) is an object-oriented language that allows programmers to build unserialized hierarchies of abstractions by using aggregates. An aggregate in CA is a homogeneous collection of objects (called representatives) that are grouped together and may be referenced by a single aggregate name. Aggregates are integrated into the object model, allowing them to be used wherever an object couM be used. concurrent Aggregates also incorporates several innovative language features that facihtate programming with aggregates. Intra-aggregate addressing aids cooperation between parts of an aggregate. Delegation allows programmers to compose a concurrent aggregate behavior from a number of objects or aggregates. Messages in CA are first class objects that can be used to create message handling abstractions (they handle messages as data). Such abstractions facilitate concurrent operations on aggregates. Continuations are also first class objects. In addition, programmers can construct continuations and use them just like system continuations. User constructed continuations can implement synchronization structures such as a barrier synchronization. We have implemented concurrent Aggregates and have been using the language since August 1989. We have written a number of significant application programs including a PC board router, a concurrent B-tree, a digital logic simulator, a parallel FIFO queue and a multi-grid solver. More information on concurrent Aggregates can be found in [10, 1

关键词： Aggregates

来源：评论

学校读者我要写书评

暂无评论

A logical theory of concurrent objects 90

A logical theory of concurrent objects

引用

1990 European Conference on object-Oriented programming on object-Oriented programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990

作者： Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University StanfordCA94305 United States

ISBN: (纸本)0897914112

A new theory of concurrent objects is presented. The theory has the important advantage of being based directly on a logic called rewriting logic in which concurrent object-oriented computation exactly corresponds to logical deduction. This deduction is performed by concurrent rewriting modulo structural axioms of associativity, commutativity and identity that capture abstractly the essential aspects of communication in a distributed object-oriented configuration made up of concurrent objects and messages. Thanks to this axiomatization, it becomes possible to study the behavior of concurrent objects by formal methods in a logic intrinsic to their computation. The relationship with Actors and with Dther models of concurrent computation is also discussed. A direct fruit of this theory is a new language, called Maude, to program concurrent object-oriented modules in an entirely declarative way using rewriting logic;modules written in this language are used to illustrate the main ideas with examples. Maude contains OBJ3 as a functional sublanguage and provides a simple and semantically rigorous integration of functional programming and concurrent object-oriented programming. © 1990 acm.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Granularity of modules in object-based concurrent systems

引用

sigplan Notices (acm Special Interest Group on programming Languages) 1989年第4期24卷 46-49页

作者： Wegner, Peter Brown Univ United States

We examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as co... 详细信息

关键词： Computer Systems programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：