Peter Thiemann  Home/Search
Context
Related
| pu.informatik.uni...denoprocsla.ps.gz informatik.unifre...denoprocsla.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pu.informatik.unituebingen.de... (more) From: informatik.unifreiburg.de/~th... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrent state transformers are an extension of state transformers investigated by Launchbury, Peyton Jones, Wadler, and others by concurrency primitives. A denotational semantics for state transformers executing in parallel is deĝned using standard domain theoretic techniques. Using the semantics it is proved that concurrent state transformers still form a monad and that the concurrent semantics is a proper extension of the sequential one. Finally, we show that an important property of the... (Update)
Active bibliography (related documents): More All
0.9: Data Compression in Haskell with Imperative Extensions - A Case.. - Thiemann (Correct)
0.5: A Second Look at Overloading - Odersky, Wadler, Wehr (1995) (Correct)
0.3: State in Haskell - Launchbury, Jones (1996) (Correct)
Similar documents based on text: More All
0.6: Isomorphisms between Predicate and State Transformers - Bonsangue, Kok (1993) (Correct)
0.5: Convergence of Program Transformers in the Metric Space of Trees - Sørensen (1998) (Correct)
0.5: Deriving Compilers from Monadic Semantics - Harrison (1997) (Correct)
BibTeX entry: (Update)
@misc{ thiemann-towards,
author = "Peter Thiemann",
title = "Towards a Denotational Semantics for Concurrent State Transformers",
url = "citeseer.ist.psu.edu/thiemann95towards.html" }
Citations (may not include all citations):293 The essence of functional programming - Wadler - 1992
254 Comprehending monads - Wadler - 1990 ACM DBLP
244 Imperative functional programming - Jones, Wadler ACM DBLP
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
146 A powerdomain construction (context) - Plotkin - 1976 ACM DBLP
101 Lazy functional state threads - Launchbury, Jones - 1994 ACM DBLP
77 Lisp and Symbolic Computation (context) - Launchbury, Jones et al. - 1995
46 MIT Laboratory for Computer Science (context) - Nikhil, Version et al. - 1991
38 and the lambda calculus (context) - Odersky, Rabin et al.
31 Denotational semantics of a parallel object-oriented languag.. (context) - America, de Bakker et al. - 1989 ACM DBLP
23 Implicit and explicit parallel programming in Haskell (context) - Jones, Hudak - 1993
21 logical relations and Kan extensions (context) - Abramsky - 1990
16 purely functional language (context) - the, Haskell et al. - 1992
13 of Handbook of Theoretical Computer Science (context) - Mosses, volume - 1990
9 of Handbook of Theoretical Computer Science (context) - Gunter, Scott et al. - 1990
4 A Methodology for Software Development (context) - Schmidt - 1986
3 Safe sequencing of assignments in purely functional programm.. (context) - Thiemann - 1993
2 Terminated references and automatic parallelization for stat.. (context) - Thiemann - 1995
1 Four domains for concurrency (context) - de Bakker, Warmerdam - 1991 ACM DBLP
Documents on the same site (http://www-pu.informatik.uni-tuebingen.de/users/thiemann/papers/): More
Polyvariant Expansion and Compiler Generators - Thiemann, Sperber (1996) (Correct)
Towards Partial Evaluation of Full Scheme - Thiemann (1996) (Correct)
Bootstrapping Higher-Order Program Transformers from.. - Sperber, Glück, Thiemann (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