Journal ArticleDOI
Object-oriented concurrent programming in ABCL/1
Akinori Yonezawa,Jean-Pierre Briot,Etsuya Shibayama +2 more
- Vol. 21, Iss: 11, pp 258-268
Reads0
Chats0
TLDR
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems and an overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is presented.Abstract:
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is also presented. Using ABCL/1, a simple scheme of distributed problem solving is illustrated. Furthermore, we discuss the reply destination mechanism and its applications. A distributed “same fringe” algorithm is presented as an illustration of both the reply destination mechanism and the future type message passing which is one of the three message passing types in our computation model.read more
Citations
More filters
Book
Readings in Distributed Artificial Intelligence
Alan H. Bond,Les Gasser +1 more
TL;DR: This comprehensive collection of articles shows the breadth and depth of DAI research as well as to practical problems in artificial intelligence, distributed computing systems, and human-computer interaction.
Journal ArticleDOI
Programming languages for distributed computing systems
TL;DR: This paper gives the view of what a distributed system is, and describes the three main characteristics that distinguish distributed programming languages from traditional sequential languages, namely, how they deal with parallelism, communication, and partial failures.
Journal ArticleDOI
Scala Actors: Unifying thread-based and event-based programming
Philipp Haller,Martin Odersky +1 more
TL;DR: This paper shows how thread-based and event-based programming can be unified under a single actor abstraction using advanced abstraction mechanisms of the Scala programming language, and implements this approach on unmodified JVMs.
Journal ArticleDOI
The design, implementation, and evaluation of Jade
Martin Rinard,Monica S. Lam +1 more
TL;DR: The basic idea of preserving the serial semantics simplifies the program development process, and the concept of using data access specifications to guide the parallelization offers significant advantages over more traditional control-based approaches.
Proceedings ArticleDOI
Reflection in an object-oriented concurrent language
Takuo Watanabe,Akinori Yonezawa +1 more
TL;DR: This work discusses the notion of reflection in object-oriented concurrent computation and presents a reflective object- oriented concurrent language ABCL/R, and gives several illustrative examples of reflective programming such as dynamic concurrent acquisition of “ methods” from other objects.
References
More filters
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
Monitors: an operating system structuring concept
TL;DR: In this paper, the authors develop Brinch-Hansen's concept of a monitor as a method of structuring an operating system and describe a possible method of implementation in terms of semaphores and give a suitable proof rule.
Journal ArticleDOI
Viewing control structures as patterns of passing messages
TL;DR: A light sensing apparatus is described which employs a GaAsP MOS light-receiving element to which a potential is applied for creating a depletion region.
Journal ArticleDOI
Object-oriented programming: Themes and variations
Mark J. Stefik,Daniel G. Bobrow +1 more
TL;DR: Object-Oriented programming has a long history in simulation programs, systems programming, graphics, and AI programming as discussed by the authors, including message passing as in ACTORS and multiple inheritance as in FLAVORS.
BookDOI
On Conceptual Modelling
TL;DR: This paper presents a meta-modelling framework for conceptual modelling of knowledge representation and semantic data models and some examples of models used in this framework have been developed.