K. Kahn, E. Tribble, M. Miller and D. Bobrow, 'Objects in concurrent logic programming languages', SIGPLAN Notices, 21, (10), 29--38 (1986).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....modelling language with augmented Petri nets controlling transactions; from UofT. Barr82 Mylo80a] Trellis Owl: An object based language with multiple inheritance and static type checking. DEC, Massachusetts. Scha86] Vulcan: An object oriented pre processor for Concurrent Prolog. Xerox PARC. [Kahn86] 2 Other languages. The following languages are of interest, though they do not claim to be object oriented. Ada: Ada has user definable types and some data abstraction mechanisms. Ada83 Barn80 Bruno86] CLU: Programming language with data abstraction from MIT. Lisk77] Alphard: Another ....

K. Kahn, E.D. Tribble, M.S. Miller and D.G. Bobrow, "Objects in Concurrent Logic Programming Languages", ACM SIGPLAN Notices, vol. 21, no. 11, pp. 242-257, Nov 1986.

....into groups of closely related objects. In the past few years, the integration of object oriented and logic programming has attracted great interests. The objective is to gain the best of both approaches. Various methods of incorporating object oriented programming into Prolog have been discussed [5, 13, 14]. Also, a number of novel languages have been proposed such as OOLP [3] C Logic [2] L O [11] Prolog [12] COMPLEX [4] LIFE [1] and some of them have been implemented. However, none of them support all important object oriented features. In this paper, we describe Pluto, an object oriented ....

K. Kahn, E.D. Tribble, M.S. Miller, and D. G. Bobrow. Objects in Concurrent Logic Programming Languages. In OOPSLA '86 Proceedings, pages 247-252. ACM New York, 1986.

....and is thus easier to understand. Due to the lack of a control state, it should be possible to find more efficient implementations of server processes. 7 6 Related Work A mechanism to allow a process to respond to a message was described by Brinch Hansen [2] Kahn, Tribble, Miller and Bobrow [3] present a concurrent object oriented programming language in which the processes read and respond to messages in a manner quite similar to the behaviour of server processes described above. 7 Conclusions The proposed primitives can be introduced into existing Erlang implementations with no or ....

Kenneth Kahn, Eric Dean Tribble, Mark S. Miller, and Daniel G. Bobrow. Objects in concurrent logic programming languages. In Proceedings of OOPSLA, pages 242--257, 1986. 8

....This choice cannot be subsequently undone because of the absence of a backtracking mechanism. Finally, FCP is rather verbose when used to define objects with a complex internal state. We felt the need of a macro language extending FCP with the purpose of decreasing its verbosity, as suggested in [Kahn 86] The comparison between SMILE and SMILE reveals that the former, although complete, is not 32 flexible: SMILE is strongly committed to the C language and cannot be endowed with knowledge about other languages. In SMILE, databases are passive objects, i.e. they are just module repositories ....

K.Kahn, E.Tribble, M.Miller, D.Bobrow, "Objects in Concurrent Logic Programming Languages", SIGPLAN Notices, 21:10, 1986, 29-38.

....(The same requirement for complete information about object connectivity was present, and satisfied, in ThingLab, so currently we don t regard this as a major stumbling block for our intended applications. Another technique for representing objects, used in e.g. Concurrent Prolog [32] and Vulcan [19], is to represent an object as a process that consumes messages, recursively calling itself with the next state of the object as an argument. It appears that this technique could be used in HCLP as well, if HCLP were suitably extended (for example, with concurrency, a commit operator, and ....

Kenneth Kahn, Eric Tribble, Mark Miller, and Daniel Bobrow. Objects in Concurrent Logic Programming Languages. In Proceedings of the 1986 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 242--257, Portland, Oregon, September 1986. ACM.

....based Class based Inheritance Self C , Clos, Smalltalk Delegation Act1 Vulcano, Mach Objects Table 2.1: Combining mechanisms for behavior acquirement and object structuring Languages based on delegation are more rare and most of them belong to the set of concurrent languages. Vulcano 1 [Kahn 86] is a concurrent object oriented language, implemented with a preprocessor that generates Concurrent Prolog. Act1 is one of the Actor languages. In Actor languages objects are part of dynamically changing hierarchies, rather than static defined classes [Agha 85] Finally, Mach Objects is a cpp ....

Kenneth Kahn, Eric Dean Tribble, Mark S. Miller, and Daniel G. Bobrow. Objects in concurrent logic programming languages. In Proceedings of OOPSLA 86, Portland, Oregon, September 1986.

....the tailrecursion process with the new state instead of the old. This lack of side effects leads to a simpler, clearer declarative semantics. In concurrent languages, an important problem with state changes is that calculations do not interfere with other calculations using the old state. In [78], the operation that function on the successive state of the object is serialized. Serialization is achieved by using message queues. This is implemented as a definition of a continuation method that works on the new state. Another solution in [63] is to maintain a threaded state such that ....

....Sandra, is allowed to choose a subset (possibly empty) of the interface of the ancestor guardian. Self reference is allowed. Multiple inheritance is allowed. However, it is the designer s responsibility of the inheriting guardian to resolve any name conflicts due to multiple inheritance. Vulcan [78, 79] is an object oriented language built on top of Concurrent Prolog. It is based on the Shapiro and Takeuchi s model. The main purpose in building Vulcan is to overcome the shortcoming of object oriented programming in Concurrent Prolog. This concerning its verbosity and the poor linguistic support. ....

[Article contains additional citation context not shown here]

Kahn K., Tribble, D., Miller M., Bobrow D., Objects in Concurrent Logic Programming Languages, OOPSLA, Proceeding, 1986.

....of methods. Such optimizations are key to efficient implementations of pure object oriented languages [10, 13] 3. The work in the logic programming community on integrating constraints with logic programming, and on doing object oriented programming in a concurrent logic programming framework [23, 24, 36], is quite relevant to the task at hand. However, for the current experiment, we wish to remain rooted in the imperative, object oriented world; we do not set as a goal supporting logic variables or backtracking. Also, we wish to represent objects in a more or less standard manner as encapsulated ....

Kenneth Kahn, Eric Tribble, Mark Miller, and Daniel Bobrow. Objects in Concurrent Logic Programming Languages. In Proceedings of the 1986 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 242--257, Portland, Oregon, September 1986. ACM.

....in the semantic description, record has to be kept of the answers resulting from a method call, in order to preserve completeness. As examples of languages combining logic programming, object oriented programming and parallelism we mention Vulcan, an object oriented extension of Concurrent Prolog [Kahn et al., 1986] and Polka, an object oriented extension of Parlog [Davison, 1989] A serious drawback of these two languages is that backtracking over multiple answers is not allowed, which may be directly attributed to their heritage to respectively Concurrent Prolog and Parlog. As another example we mention ....

K. Kahn, E. Tribble, M. Millar, D. Bobrow, Objects in concurrent logic programming languages, OOPSLA 86, N. Meyrowitz (ed.), SIGPLAN Notices Vol. 21, No. 11, 1986 pp. 242-257

....to insensitive actors) in a proper manner. The next section will show another strategy to synchronize delegation messages by explicitly ordering the messages through a manipulation of communication channels (streams) 4. 6 Synchronization through Stream Manipulation In the Vulcan language [Kahn et al. 86] the basic computation model is similar to the replacement Actor model of Agha. A perpetual object is implemented in a Concurrent Logic Programming Language [Shapiro Takeuchi 83] as the illusion of a perpetual process, i.e. an ephemeral process that continually reincarnates itself into ....

Kahn, K., Dean Tribble, E., Miller, M.S., Bobrow, D.G., Objects in Concurrent Logic Programming Languages, OOPSLA'86, Special Issue of SIGPLAN Notices, Vol. 21, No 11, pp. 242-257, Portland OR, USA, November 1986.

.... des algorithmes vari es [Yonezawa et al. 86a] J ai egalement etudi e des mod eles et des impl ementations de diff erents langages d acteurs, tels Act1 et Acore [Manning 87] a travers des micro interpr etes, ainsi qu un courant voisin, celui des langages de programmation logique concurrente [Kahn et al. 86] profitant en cela de ma proximit e du projet de recherche sur les ordinateurs de 5 eme g en eration. 6.4 Partage des Connaissances et Parall elisme La pr esence de m ecanismes de partage des connaissances (classe, h eritage : dans un contexte d ex ecution parall ele et r epartie pose des ....

K. Kahn, E. Dean Trebble, M.S. Miller et D.G. Bobrow, Objects in Concurrent Logic Programming Languages, dans [OOPSLA 86], pages 242-257.

....6 for two approaches achieving the same effect which do not rely on concurrency. JosSome early ideas are proposed in Kahn s Intermission [44] Hewitt and Agha s Actors also influenced this approach. The seminal paper is by Shapiro and Takeuchi [69] and later languages are Mandala [30] Vulcan [47, 45, 48], Polka [20, 21] A 0 UM [77, 78] The base language of the Fifth Generation Computer Systems project ESP [14, 15, 40] can also be counted here. A good introduction to these ideas is [46] The mechanics of modeling OO notions in this paradigm is as follows [69] 1. Objects are represented by ....

K. M. Kahn, E. D. Tribble, M. S. Miller, and D. G. Bobrow. Objects in concurrent logic programming languages. In OOPSLA'86, Portland, OR, Sept. 1986.

No context found.

K. Kahn, E. Tribble, M. Miller and D. Bobrow, 'Objects in concurrent logic programming languages', SIGPLAN Notices, 21, (10), 29--38 (1986).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC