J.H. Reppy, "Concurrent ML: Design, Application and Semantics", LNCS 693, SpringerVerlag, Berlin 1993, 165-198. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
....languages, while retaining abstraction and logical clarity in writing programs, it is natural to extend those languages by new concepts and constructs. In particular much work has been done to accommodate parallel and concurrency primitives inside functional programming languages like CML [60] and FACILE [28] see [29] for further work in the area and for references) This extension gives rise to the problem of introducing non functional features in the functional framework. To illustrate this, let us consider parallelism first. If the parallel construct is a control primitive which ....
J.H. Reppy, "Concurrent ML: Design, Application and Semantics", LNCS 693, SpringerVerlag, Berlin 1993, 165-198.
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
....data types and the unicity of the mathematical semantics. This is especially compelling when combinations of different features induce an intricate syntax. In particular the development of functional languages endowed with primitives for parallelism and concurrency, like Concurrent Clean [33] CML [36] and FACILE [16, 17] calls for a mathematical treatment of functions and their extensions to sets of values (for a survey about the subject see e.g. 39] The aim is to give a semantics more abstract than term models, and logical principles to reason about programs. When dealing with these ....
J.H. Reppy, "Concurrent ML: Design, Application and Semantics", LNCS 693, Springer-Verlag, Berlin, 1993, 165-198.
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
No context found.
J.H. Reppy, "Concurrent ML: Design, Application and Semantics", LNCS 693, SpringerVerlag, Berlin 1993, 165-198.
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
No context found.
J.H. Reppy, "Concurrent ML: Design, Application and Semantics", LNCS 693, Springer-Verlag, Berlin, 1993, 165-198.
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