P. America and J.J.M.M. Rutten. A Parallel Object-Oriented Language: Design and Foundations. PhD thesis, Free University Amsterdam, 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
....can change in the time. Thus, it is important to have the possibility of modularly modify programs. Object orientation provides with an interpretation of programs, which can ease both the task of users and developers. Language like SmallTalk [36] Modula 3 [38] Ada [73] Self [74] C [24] POOL [8], and Beta [66] are based on such programming paradigm. In this setting new concepts like class and object, 75] are added to the traditional programming ones. Class based languages provide both the notion of class and object. A class corresponds to a data type describing which are the ....
P. America and J.J.M.M. Rutten. A Parallel Object-Oriented Language: Design and Foundations. PhD thesis, Free University Amsterdam, 1989.
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
....us to treat the results of a rendez vous by means of (syntactic) resumptions, which are statements executed by the caller to effect the results of a rendez vous. We think that this approach drastically reduces the requirements we have to impose on our semantic domain since (in opposition to e.g. [America et al., 1989]) we do not need a domain equation of the form P I = P I A Theta P I where the process domain P I occurs on the left hand side of a function arrow. 2. DLP a language for distributed logic programming 4 Syntactic resumptions come in three flavors. Evaluating the action that represents an ....
....development of the semantics of B takes place in a metrical setting. The use of metric topology for the formulation of denotational semantics of programming languages has been advocated over the years by De Bakker and co workers. See, e.g. de Bakker and Zucker, 1982] de Bakker et al., 1988] [America et al., 1989], de Boer et al., 1990] Here, following the method proposed in [Kok and Rutten, 1990] not only the denotational semantics but also the operational semantics, and moreover, the equivalence of the operational and (a projection of) the denotational semantics is established through the help of ....
P. America and J.J.M.M. Rutten, A parallel objectoriented language: design and foundations, Joint Ph.D. thesis, Vrije Universiteit Amsterdam (1989)
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