The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and the concept of logic programming is assumed. Two major applicat...
详细信息
Mentat is an object-oriented macro data flow system designed to facilitate parallelism in distributed systems. Its underlying model of computation is the macro data flow model. The Macro data flow model is similar to ...
ISBN:
(纸本)9780897912471
Mentat is an object-oriented macro data flow system designed to facilitate parallelism in distributed systems. Its underlying model of computation is the macro data flow model. The Macro data flow model is similar to the traditional, large grain data flow model with two differences: (1) Some macro actors are persistent actors that maintain state information between firings; (2) Program graphs are dynamic. Macro data flow programs are represented by dynamic structures called future lists that may be constructed and modified at run time. This paper discusses the motivation of the macro data flow model; the relationship between objects, actors, and tokens; the use of future lists; extensions to the programming language C++ for writing macro data flow programs; and the structure of a virtual macro data flow machine for executing macro data flow programs.
The proceedings contain 49 papers. The topics discussed include: Petri net-based object-oriented modelling of distributed systems;the application accelerator illustration system;a smalltalk system for algebraic manipu...
ISBN:
(纸本)0897912047
The proceedings contain 49 papers. The topics discussed include: Petri net-based object-oriented modelling of distributed systems;the application accelerator illustration system;a smalltalk system for algebraic manipulation;a simple technique for handling multiple polymorphism;encapsulators: a new software paradigm in smalltalk-80;the design and implementation of coneurrentsmalltalk;an exemplar based smalltalk;PI: A case study in object-orientedprogramming;an object-oriented approach to a large scientific application;objectoriented spreadsheets: the analytic spreadsheet package;object identity;an alternative to subclassing;Boolean classes;language support for changeable large real time systems;genericity versus inheritance;a diagram for object-oriented programs;moving structures between smalltalk images;development of an object-oriented DBMS;a distributed repository for immutable persistent objects;design of a distributed object manager for the smalltalk-80 system;commonloops merging LISP and object-orientedprogramming;and Oaklisp: an object-oriented scheme with first class types.
Scheme papers demonstrated that lisp could be made simpler and more expressive by elevating functions to the level of first class objects. Oaklisp shows that a message based language can derive similar benefits from h...
详细信息
The ASP package, a spreadsheet implemented in Smalltalk - 80, is discussed. A description of the unique data manipulation features of ASP is given. A discussion of how these features arise from the Smalltalk -80 envir...
详细信息
Mach. a multiprocesor operating system kernel providing capability-based interprocess communication, and Matchmaker, a language for specifying and automating the generation of mulli-lingual interprocess communication ...
详细信息
We introduce a notation for diagramming the message sending dialogue that lakes place between objects participating in an object- oriented computation. Our representation takes a global point of view which emphasizes ...
详细信息
This paper describes Symbolics' newly redesigned objectorientedprogramming system, Flavors. Ravors encourages program modularity, eases the development of large, complex programs, and provides high efficiency at ...
详细信息
Certain situations arise in programming that lead to multiply polymorphic expressions, that is, expressions in which several terms may each be of variable type. In such situations, conventional object-oriented program...
详细信息
暂无评论