See this document in CiteSeerX!

Towards a Declarative Language for Parallel and Concurrent Programming (1995)  (Make Corrections)  (6 citations)
Silvia Breitinger, et al.



  Home/Search   Context   Related

 
View or download:
dalila.sip.ucm.es/funci...GLASGOW95.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dalila.sip.ucm.es/funcion...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We define a new language Eden by extending a functional language by constructs for the explicit specification of dynamic process systems. Concurrent systems can be classified either as transformational or reactive. For modelling the class of transformational systems, the introduction of a function-like abstraction mechanism is sufficient. In addition to this, the extra-functional concepts predefined nondeterministic processes and dynamic reply channels make the definition of reactive systems... (Update)

Context of citations to this paper:   More

...computations, but require that, after removing all parallel annotations, the program is purely functional. The language EDEN [5,4] extends a purely functional language with an explicit notion of processes and streams. It provides a functionality that is very...

...between PEs. GdH o ers only a closed system and fault tolerance is not provided on the PE level, e.g. failures in PVM. Eden [2] o ers explicit creation of parallel subtasks in a static, closed system as GpH does. These tasks are speci ed using process abstractions which...

Cited by:   More
The Design and Implementation of GdH - Draft Pointon Trinder   (Correct)
The Design and Implementation of Glasgow distributed Haskell - Pointon, Trinder, Loidl (2000)   (Correct)
Motivation for Glasgow distributed Haskell, a non-strict.. - Trinder (1999)   (Correct)

Similar documents (at the sentence level):
42.6%:   Towards a Declarative Language for Parallel and.. - Breitinger.. (1995)   (Correct)
12.1%:   Eden - The Paradise of Functional Concurrent Programming - Breitinger, Loogen.. (1996)   (Correct)
9.4%:   Concurrency in Functional and Logic Programming - Breitinger, Loogen (1995)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Implementing Eden - or: Dreams Become Reality - Klusik, Ortega, Peña (1998)   (Correct)
0.3:   GLU: A High-Level System for Granular Data-Parallel.. - Jagannathan, Dodd, Agi (1996)   (Correct)
0.2:   Definitional Concurrent Constraint Programming - Guo, Darlington   (Correct)

Similar documents based on text:   More   All
0.9:   Channel Structures in the Parallel Functional - Language Eden Silvia   (Correct)
0.5:   A Layered Implementation of the Parallel Functional.. - Berthold, Klusik.. (2002)   (Correct)
0.5:   The Eden Coordination Model for Distributed Memory.. - Breitinger, Loogen.. (1997)   (Correct)

Related documents from co-citation:   More   All
3:   Facile: A symmetric integration of concurrent and functional programming (context) - Giacalone, Mishra et al. - 1989
3:   Higher-Order Distributed Objects - Cejtin, Jagannathan et al. - 1995
3:   Concurrent Monadic Interfacing - Holyer, Spiliopoulou - 1998

BibTeX entry:   (Update)

S. Breitinger, R. Loogen, and Y. Ortega-Mallen. Towards a Declarative Language for Parallel and Concurrent Programming. In Proc. Glasgow Workshop on Functional Programming 1995. Springer, Workshops in Computing, 1995. http://citeseer.ist.psu.edu/article/breitinger95towards.html   More

@misc{ breitinger95towards,
  author = "S. Breitinger and R. Loogen and Y. Ortega-Mallen",
  title = "Towards a Declarative Language for Parallel and Concurrent Programming",
  text = "S. Breitinger, R. Loogen, and Y. Ortega-Mallen. Towards a Declarative Language
    for Parallel and Concurrent Programming. In Proc. Glasgow Workshop on Functional
    Programming 1995. Springer, Workshops in Computing, 1995.",
  year = "1995",
  url = "citeseer.ist.psu.edu/article/breitinger95towards.html" }
Citations (may not include all citations):
271   The Oz programming model - Smolka - 1995
247   The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
216   Coordination languages and their significance (context) - Gelernter, Carriero - 1992
183   Report on the programming language Haskell: a non-strict (context) - Hudak, Wadler - 1992
101   Concurrent Constraint Programming (context) - Saraswat - 1993
40   CML: A higher-order concurrent language (context) - Reppy - 1991
37   and Sigbjorn Finne (context) - Jones, Gordon - 1996
35   Para-Functional Programming in Haskell (context) - Hudak - 1991
29   Parallel logic programming systems (context) - de Kergommeaux, Codognet - 1994
23   Implicit and Explicit parallel Programming in Haskell (context) - Jones, Hudak - 1993
20   EDEN --- Language Definition and Operational Semantics - Breitinger, Loogen et al. - 1995
13   Goffin: higher order functions meet concurrent constraints - Chakravarty, Guo et al. - 1995
5   Two limits of purely functional parallel programming and how.. (context) - Chakravarty, Guo et al. - 1994
4   Parallel Programming in Maude (context) - Meseguer, Winkler - 1992
3   Concurrency in Functional and Logic Languages (context) - Breitinger, Loogen et al. - 1995
3   Towards a functional process calculus (context) - Bohlmann, Loogen et al. - 1994
3   Integrating functional and imperative parallel programming: .. (context) - Thornley - 1993



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://dalila.sip.ucm.es/funcional/index.html):   More
The Eden Coordination Model for Distributed Memory.. - Breitinger, Loogen.. (1997)   (Correct)
La programacion funcional en Haskell - Mari (1995)   (Correct)
Eden - The Paradise of Functional Concurrent Programming - Breitinger, Loogen.. (1996)   (Correct)

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