Kahn, K.M., and Miller, M.S. 1988. \Language Design and Open Systems", In The Ecology of Computation, B. Huberman (ed.), North Holland.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....model by investigating open systems [He In 91] where an open system is a collection of interlinked services operating concurrently and asychronously, without central control. Actors and concurrent logic languages have been proposed as the two computational models most suited for open systems [Ka Mi 88] An important aspect of open systems is that the components must be able to encapsulate control of hardware alongside the software encapsulation of standard objects. Erlang may be considered as answering some of the criticisms of those working in open systems on concurrent logic languages lack ....

K.M.Kahn and M.S.Miller. Language design and open systems. In The Ecology of Computation B.A.Huberman (ed.) Elsevier.

....since foreign language systems have only to read and write values to be linked into it. As we shall show, it leads to greater flexibility, and in fact process identities as values may be modelled. Another reason for not using the everything is an actor approach is given by Kahn and Miller [Ka Mi 88] who point out the security problems of not knowing what lies behind a simple looking actor, for example an actor representing a number is indistinguishable from one which behaves like a number but reports any messages it receives to a third party (and thus could be , say, a Trojan horse ....

....The quoting operator works only at one level, so p( q(r(x) y is concurrent logic r(x,z) p(q(z) y) 7. Introducing Objects Actors and concurrent logic languages have been proposed as the two language paradigms most suitable as a foundation on which to design languages suitable for open systems [Ka Mi 88] He Ag 90] The advantage offered by actors of the clarity of direct representation of objects is offset by the greater flexibility of direct representation of channels and the possibility of multiple input ports in concurrent logic languages [Kahn 89] Another balancing factor is that actors ....

[Article contains additional citation context not shown here]

K.M.Kahn and M.S.Miller. Language design and open systems. In The Ecology of Computation, B.A.Huberman (ed), Elsevier, pp.291-312. Page 22

....The latter forces an agent to block when it checks a relationship that is not yet known to hold. This paradigm is a generalization of research in concurrent logic programming languages [Sha87] It has been shown that concurrent logic programming languages are good candidates for open systems [KM88] and for the simulation of robot behaviors [ZM92] However, they are not real time languages, since their computation time is unpredictable. A timed extension of the cc family, timed cc, has been proposed [SJG94] in which real time requirements (such as time out) can be expressed. 7.2.3 Nets or ....

K. M. Kahn and M. S. Miller. Language design and open systems. In B. A. Huberman, editor, The Ecology of Computation. Elsevier Science Publishers B.V.(NorthHolland) , 1988.

....a way to manipulate the implementation to reduce costs. In doing its translation, the cost aware abstraction will have to deal with service providers. These will each export an interface, and that interface must specify costs. The interfaces should satisfy the constraints of an open system [Kahn, 88] Thus, in addition to the normal specification of contracts [Meyer,92] for parameters and perhaps preconditions and postconditions, these interfaces will have to specify costs and possibly service options based on cost. For example, for multimedia conferencing, a set of service levels and ....

K. Kahn, M. S. Miller, Language Design and Open Systems, The Ecology of Computation, B. Huberman (ed.), North Holland.

No context found.

K.  , M. S. Miller. "Language Design and Open Systems", Ecology of Computation, Bernardo Huberman (ed.), Elsevier Science Publishers, North-Holland, 1988.

.... allows (though it does not require them either) Although, in principle, the object computation model is perfectly compatible with these prohibitions, most embodiments of object computation (typically in the form of programming languages) disregard the boundaries imposed by the capability model [22]. We explain why E does stay within these boundaries, and so is capability secure (as are these systems [21, 29, 41] In section 3.4 we will present an implementation of capability based money as an example. The main capability system design rule, the principle of least authority (sometimes ....

....and one must obtain references to these primitive objects in order to exercise the associated primitive functions. Anything globally accessible must therefor be transitively immutable, otherwise it would constitute an unconditional source of authority not controlled by the reference passing rules [22, 29]. 3.3 Rights Amplification There is one feature that most capability systems provide as a primitive but which is not motivated solely from pure object programming rights amplification. With rights amplification, the authority accessible from bringing two references together can exceed the ....

Kenneth Kahn, and Mark S. Miller, "Language Design and Open Systems", in, Bernardo Huberman (ed.), Ecology of Computation (Elsevier Science Publishers/North-Holland, 1988).

No context found.

Kahn, K.M., and Miller, M.S. 1988. \Language Design and Open Systems", In The Ecology of Computation, B. Huberman (ed.), North Holland.

No context found.

Kahn, K.M., and Miller, M.S. 1988. \Language Design and Open Systems", In The Ecology of Computation, B. Huberman (ed.), North Holland.

No context found.

K. Kahn, M. Miller (1988) Language Design and Open Systems, The Ecology of Computation, Ed. B. Huberman, North Holland.

No context found.

K. Kahn, M. Miller (1988) Language Design and Open Systems, The Ecology of Computation, Ed. B.

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