论文信息 - Some facile chemistry

Some facile chemistry

In this paper we use the chemical abstract machine (CHAM) framework [BeB90, BeB92, Bou94] for discussing various semantics for the Facile programming language [GMP89, GMP90, FAR93] and for formalising (parts of) its implementations. We use these formal descriptions to argue (informally) about implementability and cost of implementation in terms of low level machinery needed to implement the given semantics.We take the Facile language as source for discussion, but the results also apply to several other new languages such as CML [Rep91, BMT92] and Poly/ML [Mat91]. Characteristic for all these languages is that they combine ideas from the λ-calculus and process algebra, such as CCS [Mil80, Mil89], to support high level constructs for programming concurrent, parallel and/or distributed systems.The full version of this extended summary can be found in [LeT94].

Lone Leth Thomsen | Bent Thomsen

[1] Robin Milner,et al. A semantics for ML concurrency primitives , 1992, POPL '92.

[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[3] Matthias Felleisen,et al. A Syntactic Theory of Sequential State , 1989, Theor. Comput. Sci..

[4] Rocco De Nicola,et al. CCS without tau's , 1987, TAPSOFT, Vol.1.

[5] Prateek Mishra,et al. Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming , 1990, ICALP.

[6] John H. Reppy,et al. CML: A Higher-Order Concurrent Language , 1991, PLDI.

[7] John H. Reppy,et al. CML: A higher concurrent language , 1991, PLDI '91.

[8] Gérard Boudol,et al. Some Chemical Abstract Machines , 1993, REX School/Symposium.

[9] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[10] Kenneth P. Birman,et al. The process group approach to reliable distributed computing , 1992, CACM.

[11] Lone Leth Thomsen,et al. Some Issues in the Semantics of Facile Distributed Programming , 1992, REX Workshop.

[12] Jean-Marc Andreoli,et al. True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication , 1993, TAPSOFT.

[13] Prateek Mishra,et al. Facile: A symmetric integration of concurrent and functional programming , 1989, International Journal of Parallel Programming.