Towards an Operational Semantics for a Parallel Non-strict Functional Language (1998)

Cached

Download Links

by Jon G. Hall , Clem Baker-finch , Phil Trinder , David J. King
Citations:7 - 2 self

Active Bibliography

An Operational Semantics for Parallel Lazy Evaluation – Jon G. Hall, Clem Baker-finch, Phil Trinder, David J. King - 1998
56 Algorithm + Strategy = Parallelism – P.W. Trinder, K. Hammond, H.-W. Loidl, S.L. Peyton Jones - 1998
8 Comparing Parallel Functional Languages: Programming and Performance – H-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G.J. Michaelson, R. Peña, S. Priebe, Á.J. Rebón Portillo, P.W. Trinder - 2002
4 Controlling Parallelism and Data Distribution in Eden – Ulrike Klusik, Rita Loogen, Steffen Priebe - 2000
14 A Combinational Framework For Parallel Programming Using Algorithmic Skeletons – Mohammad M. Hamdan - 2000
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
Contents – unknown authors
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
A Semantic Theory for Value-Passing Processes - Part II: A Behavioural . . . – Anna Ingólfsdóttir - 1995
Part II: A Behavioural Semantics and Full Abstractness – Anna Ingólfsdóttir, Anna Ingólfsdóttir
The Hume Report, Version 0.2 – Greg Michaelson, Kevin Hammond - 2001
22 Nepal -- Nested Data-Parallelism in Haskell – Manuel M.T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel - 2001
A TYPE-BASED APPROACH TO PARALLELIZATION – Xu Na
8 Load Balancing in a Parallel Graph Reducer – Hans-wolfgang Loidl - 2002
3 Towards a Mobile Haskell – André Rauber du Bois, Phil Trinder, Hans-Wolfgang Loidl - 2003
6 Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach – Kevin Hammond - 2005