Development and Verification of Parallel Algorithms in the Data Field Model (2000)

Cached

Download Links

by Björn Lisper , Jonas Holmerin
Venue:Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming
Citations:1 - 1 self

Documents Related by Co-Citation

6 Programmer's Guide to FORTRAN 90. Programming Languages – Walter S Brainerd, Charles H Goldberg, Jeanne C Adams - 1990
4 Data Fields – Björn Lisper - 1998
2 The data field model. Submitted. Preliminary version avaliable as Tech – Bjorn Lisper, Per Hammarlund - 2000
2 Data parallelism – John T O'Donnell
2 Towards Polymorphic Type Inference with Elemental Function Overloading. Licentiate thesis, Dept. of Teleinformatics – Claes Thornberg - 1999
1 Sun reveals secrets of "magic". Microprocessor Report – Tom R Halfhill - 1999
1 Development of parallel algorithms – Jonas Holmerin, Bjorn Lisper - 2000
10 Data Parallel Haskell: Mixing old and new glue – Jonathan M. D. Hill - 1993
9 Arrays in FIDIL – Luigi Semenzato, Paul Hilfinger - 1989
12 Bulk types with class – Simon Peyton Jones - 1996
20 The Functional Imperative: Shape! – C. B. Jay, P. A. Steckler - 1997
85 STL Tutorial and Reference Guide – D R Musser, G J Derge, A Saini - 2001
15 Data parallelism and functional programming – B Lisper - 1996
7 pH language reference manual, version 1.0 – R NIKHIL, J HICKS ARVIND, S ADITYA, L AUGUSTSSON, J MAESSEN, Y ZHOU - 1995
10 A perspective on Id – K EKANADHAM - 1991
12 The design of apl – A D Falkoff, K E Iverson - 1975
30 On the relation between functional and data-parallel programming languages, in – B Lisper, P Hammarlund - 1993
38 D.: Connection Machine Lisp: Fine-grained Parallel Symbolic Processing – G Steele, Hillis - 1986
40 Report on the programming language haskell, a non-strict purely-functional programming language, version 1.3 – John Peterson, Kevin Hammond, Lennart Augustsson, Joseph Fasel, Andrew D. Gordon, John Hughes, Paul Hudak, Thomas Johnsson, Mark Jones, Simon Peyton Jones, Alastair Reid, Philip Wadler - 1997