@techreport{sands,
author = {D. Sands},
title = {Complexity Analysis for a Higher-order language},
institution = {Department of Computing, Imperial College, Technical
Report 88/14},
month = {December},
year = {1988},
}
@article{p:000,
author = {D. le Metayer},
title = {Analysis of Functional programs by Program Transformation},
journal = {Second France-Japan Artifical Intelligence and
Computer Science Symposium},
year = {1988},
pages = { -- },
publisher = {North-Holland},
}
@article{lemetayer,
author = {D. le Metayer},
title = {Mechanical Analysis of Program Complexity},
journal = {Proceedings of the SIGPLAN '85 Symposium},
month = {July},
year = {1985},
pages = {69 -- 73},
}
@mastersthesis{p:000,
author = {M. Rosendahl},
title = {Automatic Construction of Time Bound Programs},
school = {University of Copenhagen},
}
@article{p:000,
author = {P. Wadler},
title = {Strictness Analysis aids Time Analysis},
journal = {Proceedings of the 15th ACM Symposium on Principles
of Programming Languages},
month = {January},
year = {1988},
pages = { -- },
}
@article{p:000,
author = {M.C. Chen},
title = {A Parallel Language and its Compilation to
Multiprocessor Machines or {VLSI}},
journal = {Proceedings of the 13th Conference on Principles
of Programming Languages},
month = {January},
year = {1986},
pages = {131 -- 139},
}
@inproceedings{sheeran,
author = {M. Sheeran},
title = {$\mu$FP, A Language for {VLSI} Design},
journal = {Conference Record of the 1984 ACM Symposium on
Lisp and Functional Programming},
city = {Austin, TX},
month = {August},
year = {1984},
pages = {104 -- 112},
}
@inproceedings{sheeran:jones,
author = {M. Sheeran and G. Jones},
title = {Relations + Higher Order Functions = Hardware
Descriptions},
journal = {Compeuro 1987},
month = {January},
year = {1987},
}
@article{p:001,
author = {W. Luk and G. Jones},
title = {Parameterised Retimings of Regular Computational
Arrays},
booktitle= {Parallel Processing for Computer Vision and Display},
year = {1988},
editor = {P.M. Dew {\em et al.}},
pages = { -- },
}
@incollection{bird:1,
author = {R.S. Bird},
title = {An Introduction to the Theory of Lists},
booktitle = {Logic of Programming and Calculi of Discrete Design},
editor = {M. Broy},
publisher = {Springer-Verlag},
year = {1987},
pages = {3--42},
}
@misc{bird:2,
author = {R.S. Bird},
title = {A Calculus of Functions for Program Derivation},
year = {1987},
howpublished = {Oxford University Programming Research
Group Monograph PRG-64},
}
@misc{bird:3,
author = {R.S. Bird},
title = {Lectures on Constructive Functional Programming},
year = {1988},
howpublished = {Oxford University Programming Research
Group Monograph PRG-69},
}
@incollection{meertens,
author = {L.G.L.T. Meertens},
title = {Algorithmics -- Towards Programming as a Mathematical
Activity},
booktitle = {Proceedings of CWI Symposium on Mathematics and
Computer Science},
publisher = {North-Holland},
year = {1986},
pages = {289 -- 334},
}
@book{sabot:paralations,
author = {G. Sabot},
title = {The Paralation Model: Architecture-Independent Parallel
Programming},
publisher = {MIT Press},
year = {1989},
}
@article{bird:4,
author = {R.S. Bird},
title = {Algebraic Identities for Program Calculation},
journal = {The Computer Journal},
volume = {32},
number = {2},
month = {February},
year = {1989},
pages = {122--126},
}
@article{valiant:royal,
author = {L.G. Valiant},
title = {Optimally Universal Parallel Computers},
journal = {Phil. Trans. Royal Society Lond. Series {A}},
volume = {326},
year = {1988},
pages = {373--376},
}
@techreport{valiant:bulk,
author = {L.G. Valiant},
title = {Bulk Synchronous Parallel Computers},
institution = {Computer Science, Harvard University},
number = {TR-08-89},
year = {1989},
}
@incollection{valiant:long,
author = {L.G. Valiant},
title = {General Purpose Parallel Architectures},
booktitle = {Handbook of Theoretical Computer Science, Vol. {A}},
editor = {J. van Leeuwen},
publisher = {Elsevier Science Publishers and {MIT} Press},
year = {1990},
}
@article{mehlhorn:vishkin,
author = {K. Mehlhorn and U. Vishkin},
title = {Randomized and Deterministic Simulation of {PRAM}s by
Parallel Machines with Restricted Granularity of
Parallel Memories},
journal = {Acta Informatica},
volume = {21},
year = {1984},
pages = {339--374},
}
@article{ladner:fisher,
author = {R.E. Ladner and M.J. Fisher},
title = {Parallel Prefix Computation},
journal = {Journal of the ACM},
volume = {27},
number = {4},
year = {1980},
pages = {831--838},
}
@INPROCEEDINGS{bokhari:raza,
AUTHOR = {S.H. Bokhari and A.D. Raza},
TITLE = {Augmenting Computer Networks},
BOOKTITLE = {Proceedings of the 1984 International Conference
on Parallel Processing},
PAGES = {338--345},
KEYWORDS = {link},
YEAR = {1984},
MONTH = {August},
}
@techreport{fl:report,
author = {J. Backus and J.H. Williams and E.L. Wimmers and P. Lucas
and A. Aiken},
title = {{FL} Language Manual, Parts 1 and 2},
month = {October},
year = {1989},
number = {RJ7100},
institution = {IBM Almaden Research Center},
}
@article{linda:general,
author = {S. Ahuja and N. Carriero and D. Gelernter and V. Krishnswamy},
title = {Matching Languages and Hardware for Parallel Computation in
the {Linda} Machine},
journal = {IEEE Transactions on Computers},
volume = {37, No.8},
month = {August},
year = {1988},
pages = {921--929},
}
@inproceedings{dally:wills,
author = {W.J. Dally and D.S. Wills},
title = {Universal Mechanisms for Concurrency},
booktitle = {PARLE '89, Parallel Architectures and Languages Europe},
publisher = {Springer-Verlag Lecture Notes in Computer Science 365},
month = {June},
year = {1989},
pages = {19--33},
}
@inproceedings{spivey,
author = {J.M. Spivey},
title = {A Categorical Approach to the Theory of Lists},
publisher = {Springer-Verlag Lecture Notes in Computer Science 375},
booktitle = {Mathematics of Program Construction},
month = {June},
year = {1989},
pages = {399--408},
}
@article{backus:general,
author = {J. Backus},
title = {Can Programming be Liberated from the von {Neumann} style:
A Functional Style and its Algebra of Programs},
journal = {Communications of the {ACM}},
volume = {21},
number = {8},
month = {August},
year = {1978},
pages = {613--641},
}
@inproceedings{backus:linear,
author = {J. Backus},
title = {The Algebra of Functional Programs: Function Level
Reasoning, Linear Equations, and Extended Definitions},
booktitle = {Formalization of Programming Concepts},
publisher = {Springer Lecture Notes in Computer Science 107},
address = {Peniscola, Spain},
month = {April},
year = {1981},
pages = {1--43},
}
@inproceedings{back,
author = {R.J.R. Back},
title = {A Method for Refining Atomicity in Parallel Algorithms},
booktitle = {{PARLE}89 Parallel Architectures and Languages
Europe},
series = {Springer Lecture Notes in Computer Science 366},
month = {June},
year = {1989},
pages = {199--216},
}
@inproceedings{back:sere,
author = {R.J.R. Back and K. Sere},
title = {Stepwise Refinement of Action Systems},
booktitle = {Mathematics of Program Construction},
series = {Springer Lecture Notes in Computer Science 375},
month = {June},
year = {1989},
pages = {115--138},
}
@book{chandy:misra,
author = {K.M. Chandy and J. Misra},
title = {Parallel Program Design: A Foundation},
publisher = {Addison-Wesley},
year = {1988},
}
@techreport{obj,
author = {J.A. Goguen and T. Winkler},
title = {Introducing {OBJ3}},
institution = {Computer Science Laboratory, {SRI} International},
number = {SRI-CSL-88-9},
month = {August},
year = {1988},
}
@inproceedings{kids,
author = {D.R. Smith and M.R. Lowry},
title = {Algorithm Theories and Design Tactics},
publisher = {Springer-Verlag Lecture Notes in Computer Science 375},
booktitle = {Mathematics of Program Construction},
month = {June},
year = {1989},
pages = {379--398},
}
@techreport{herley,
author = {K. Herley},
title = {Deterministic Simulation of Shared Memory on Bounded
Degree Networks},
institution = {Department of Computer Science, Cornell
University, Ithaca},
number = {TR90-1090},
month = {February},
year = {1990},
note = {Ph.D. Thesis},
}
@techreport{gao,
author = {Feng Gao},
title = {Towards Structured Parallel Computing Part {I}:
A Theory of Algorithm Design and Analysis for
Distributed-Memory Architectures},
institution = {Computer Science Department, University
of British Columbia},
number = {89-27},
month = {December},
year = {1989},
}
@inproceedings{aiken:nicolau,
author = {A. Aiken and A. Nicolau},
title = {Optimal Loop Parallelization},
booktitle = {Programming Language Design and Implementation:
{SIGPLAN}88 Conference},
editor = {R. Wexelblat},
year = {1988},
pages = {308-317},
}
@article{skillicorn:p,
author = {D.B. Skillicorn},
title = {Architecture-Independent Parallel Computation},
journal = {{IEEE} Computer},
volume = {23},
number = {12},
month = {December},
year = {1990},
pages = {38--51},
}
@inproceedings{mccoll1,
author = {W.F. McColl},
title = {Parallel Algorithms and Architectures},
booktitle = {Parallel Computing 88},
editor = {G.A. van Zee and J.G.G. van de Vorst},
series = {Springer Lecture Notes in Computer Science 384},
month = {June},
year = {1988},
pages = {1--22},
}
@article{mccoll2,
author = {W.F. McColl},
title = {Parallel Algorithms and Architectures},
journal = {Computer Physics Communications},
volume = {57},
year = {1989},
pages = {84--94},
}
@inproceedings{rajsekaran,
author = {S. Rajsekaran and T. Tsantilas},
title = {An Optimal Randomized Routing Algorithm for the
Mesh and a Class of Efficient Mesh-like Routing
Primitives},
booktitle = {Foundations of Software Technology and
Theoretical Computer Science},
series = {Springer Lecture Notes in Computer Science 287},
editor = {K.V. Nori},
month = {December},
year = {1987},
pages = {226-241},
}
@techreport{back3,
author = {L. St\aa hl and R.J.R. Back},
title = {An Implementation of Multiprocess Handshaking
on Transputer Networks},
institution = {\AA bo Akademi, Departments of Computer Science
and Mathematics, SF-20500 \mbox{\AA}bo, Finland},
number = {76},
year = {1989},
}
@techreport{back4,
author = {M. Aspn\"{a}s and R.J.R. Back and R. Kurki-Suonio},
title = {An Implementation of Multiprocess Handshaking
on Broadcasting Networks},
institution = {\AA bo Akademi, Departments of Computer Science
and Mathematics, SF-20500 \AA bo, Finland},
number = {75},
year = {1989},
}
@techreport{back5,
author = {R.J.R. Back and K. Sere},
title = {Deriving an {O}ccam Implementation of Action
Systems},
institution = {\AA bo Akademi, Departments of Computer Science
and Mathematics, SF-20500 \AA bo, Finland},
number = {99},
year = {1990},
}
@phdthesis{ranade:thesis,
title = {Fluent Parallel Computation},
author = {A.G. Ranade},
school = {Yale University},
year = {1989},
}
@inproceedings{blelloch1,
author = {G. Blelloch},
title = {Scans as Primitive Parallel Operations},
booktitle = {Proceedings of the International Conference
on Parallel Processing},
month = {August},
year = {1987},
pages = {355--362},
}
@book{hoare:csp,
author = {C.A.R. Hoare},
title = {Communicating Sequential Processes},
publisher = {Prentice-Hall International Series in
Computer Science},
year = {1985},
}
@inproceedings{vitanyi2,
author = {P.M.B. Vit\'{a}nyi},
title = {Nonsequential Computation and the Laws of Nature},
booktitle = {{VLSI} Algorithms and Architectures, Aegean Workshop
on Computing},
series = {Springer Lecture Notes in Computer Science, 227},
month = {July},
year = {1986},
pages = {108--120},
}
@inproceedings{lubachevsky,
author = {B.D. Lubachevsky and A.G. Greenberg},
title = {Simple, Efficient Aysnchronous Parallel Prefix
Algorithms},
booktitle = {Proceedings of the International Conference on
Parallel Processing},
month = {August},
year = {1987},
pages = {66--69},
}
@misc{chin,
author = {A. Chin},
title = {On the Design of Algorithms for General Purpose
Parallel Computers},
journal = {},
volume = {},
month = {},
year = {1990},
pages = {},
}
@article{kruskal:rudolph:snir,
author = {C.P. Kruskal and L. Rudolph and M. Snir},
title = {A Complexity Theory of Efficient Parallel Algorithms},
journal = {Theoretical Computer Science},
volume = {71},
year = {1990},
pages = {95--132},
}
@article{aggarwal:chandra:snir,
author = {A. Aggarwal and A.K. Chandra and M. Snir},
title = {Communication Complexity of {PRAM}s},
journal = {Theoretical Computer Science},
volume = {71},
year = {1990},
pages = {3--28},
}
@article{anderson:miller,
author = {R.J. Anderson and G.L. Miller},
title = {A Simple Randomized Parallel Algorithm for List-Ranking},
journal = {Information Processing Letters},
volume = {33},
month = {January 10},
year = {1990},
pages = {269--273},
}
@article{cole:vishkin,
author = {R. Cole and U. Vishkin},
title = {Faster Optimal Parallel Prefix Sums and List Ranking},
journal = {Information and Control},
volume = {81},
year = {1989},
pages = {334--352},
}
@inproceedings{alt,
author = {H. Alt and T. Hagerup and K. Mehlhorn and F.P. Preparata},
title = {Deterministic Simulation of Idealized Parallel Computers
on More Realistic Ones},
booktitle = {Parallel Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 269},
month = {May},
year = {1987},
pages = {11--24},
}
@inproceedings{herath,
author = {J. Herath and T. Yuba and N. Saito},
title = {Dataflow Computing},
booktitle = {Parallel Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 269},
month = {May},
year = {1987},
pages = {25--36},
}
@inbook{anderson:miller,
author = {R.J. Anderson and G.L. Miller},
title = {Deterministic List Ranking},
booktitle = {{VLSI} Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 319},
month = {June},
year = {1988},
pages = {81--90},
}
@inproceedings{cole:vishkin:awoc,
author = {R. Cole and U. Vishkin},
title = {Optimal Parallel Algorithms for Expression Tree
Evaluation and List Ranking},
booktitle = {{VLSI} Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 319},
month = {June},
year = {1988},
pages = {91--100},
}
@inproceedings{kosaraju:delcher,
author = {S.R. Kosaraju and A.L. Delcher},
title = {Optimal Parallel Evaluation of Tree-Structured Computations
by Raking},
booktitle = {{VLSI} Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 319},
month = {June},
year = {1988},
pages = {101--110},
}
@inproceedings{furer,
author = {M. F\"{u}rer},
title = {Universal Hashing in {VLSI}},
booktitle = {{VLSI} Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 319},
month = {June},
year = {1988},
pages = {312--318},
}
@inproceedings{aggarwal:huang,
author = {A. Aggarwal and M.-D. A. Huang},
title = {Network Complexity of Sorting and Graph Problems
and Simulating {CRCW PRAM}s by Interconnection Networks},
booktitle = {{VLSI} Algorithms and Architectures},
series = {Springer Lecture Notes in Computer Science 319},
month = {June},
year = {1988},
pages = {339--350},
}
@inproceedings{abrahamson,
author = {K. Abrahamson and N. Dadoun and D.G. Kirkpatrick
and T. Przytycka},
title = {A Simple Parallel Tree Contraction Algorithm},
booktitle = {Proceedings of the Twenty-Fifth {A}llerton
Conference on Communication, Control and Computing},
month = {September},
year = {1987},
pages = {624--633},
}
@article{skillicorn:taxonomy,
author = {D.B. Skillicorn},
title = {A Taxonomy for Computer Architectures},
journal = {{IEEE} Computer},
volume = {21},
month = {November},
year = {1988},
pages = {46--57},
}
@inproceedings{kelsey:hudak,
author = {R. Kelsey and P. Hudak},
title = {Realistic Compilation by Program Transformation},
booktitle = {Conference Record of the Sixteenth Annual {ACM}
Symposium on Principles of Programming Languages},
month = {January},
year = {1989},
pages = {281--292},
}
@inproceedings{hey,
author = {A.J.G. Hey},
title = {Experiments in {MIMD} Parallelism},
booktitle = {{PARLE}89, Parallel Architectures and Languages
Europe},
series = {Springer Lecture Notes in Computer Science 366},
month = {June},
year = {1989},
pages = {28--42},
}
@article{vitter:simons,
author = {J.S. Vitter and R.A. Simons},
title = {New Classes for Parallel Complexity: A Study of
Unification and Other Complete Problems for $P$},
journal = {{IEEE} Transactions on Computers},
volume = {C-35},
month = {May},
year = {1986},
pages = {403--418},
}
@techreport{sere,
author = {K. Sere},
title = {Transforming Communication Topology in Distributed
Algorithms},
institution = {\AA bo Akademi, Departments of Computer Science
and Mathematics, SF-20500 \AA bo, Finland},
number = {67},
year = {1988},
}
@techreport{back6,
author = {R.J.R. Back},
title = {Refinement Calculus Part {II}: Parallel and Reactive
Programs},
institution = {\AA bo Akademi, Departments of Computer Science
and Mathematics, SF-20500 \AA bo, Finland},
number = {93},
year = {1989},
}
@inproceedings{polychronopoulos,
author = {M. Gikar and C. Polychronopoulos},
title = {Compiling Issues for Supercomputers},
booktitle = {Supercomputing 88},
month = {November},
year = {1988},
pages = {164--173},
}
@article{valiant:cacm,
author = {L.G. Valiant},
title = {A Bridging Model for Parallel Computation},
journal = {Communications of the {ACM}},
volume = {33},
number = {8},
month = {August},
year = {1990},
pages = {103--111},
}
@article{vitanyi,
author = {P.M.B. Vit\'{a}nyi},
title = {Locality, Communication and Interconnect Length
in Multicomputers},
journal = {{SIAM} Journal of Computing},
volume = {17},
number = {4},
month = {August},
year = {1988},
pages = {659--672},
}
@techreport{plaxton,
author = {C.G. Plaxton},
title = {Efficient Computation on Sparse Interconnection
Networks},
institution = {Department of Computer Science, Stanford
University},
number = {STAN-CS-89-1283},
month = {September},
year = {1989},
}
@misc{bird:theorem,
author = {R.S. Bird},
howpublished = {private communication},
year = {1988},
}
@inproceedings{alverson,
author = {R. Alverson and D. Callahan and D. Cummings and
B. Koblenz and A. Porterfield and B. Smith},
title = {The {T}era Computer System},
booktitle = {1990 International Conference on Supercomputing},
address = {Amsterdam},
organization = {{ACM} Press},
month = {June},
year = {1990},
pages = {1--6},
note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}
@inproceedings{chan,
author = {T. Chan},
title = {Hierarchical Algorithms and Architectures for
Parallel Scientific Computing},
booktitle = {1990 International Conference on Supercomputing},
address = {Amsterdam},
organization = {{ACM} Press},
month = {June},
year = {1990},
pages = {318--329},
note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}
@inproceedings{gerasoulis,
author = {A. Gerasoulis and S. Venugopal and T. Yang},
title = {Clustering Task Graphs for Message Passing
Architectures},
booktitle = {1990 International Conference on Supercomputing},
address = {Amsterdam},
organization = {{ACM} Press},
month = {June},
year = {1990},
pages = {447--456},
note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}
@inproceedings{hey:amsterdam,
author = {A.J.G. Hey},
title = {Supercomputing with {T}ransputers--Past, Present and Future},
booktitle = {1990 International Conference on Supercomputing},
address = {Amsterdam},
organization = {{ACM} Press},
month = {June},
year = {1990},
pages = {479--490},
note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}
@techreport{knoblock,
author = {T.B. Knoblock},
title = {A Formal Metalanguage for {N}uprl},
institution = {University of Michigan, Computer Science and
Engineering},
number = {CSE-TR-10-88},
year = {1988},
}
@inproceedings{miller:reif,
author = {G.L. Miller and J. Reif},
title = {Parallel Tree Contraction and its Application},
booktitle = {26th {IEEE} Symposium on Foundations of
Computer Science},
year = {1985},
pages = {478--489},
}
@inproceedings{tarjan:vishkin,
author = {R.E. Tarjan and U. Vishkin},
title = {Finding Biconnected Components and Computing Tree
Functions in Logarithmic Parallel Time},
booktitle = {25th {IEEE} Symposium on Foundations of
Computer Science},
year = {1984},
pages = {12--22},
}
@article{bal2,
author = {H.E. Bal and A.S. Tanenbaum and M.F. Kaashoek},
title = {Orca: A Language for Distributed Processing},
journal = {{SIGPLAN} Notices},
volume = {25},
number = {5},
month = {May},
year = {1990},
pages = {17--24},
}
@incollection{gazit,
author = {H. Gazit and G.L. Miller and S.-H. Teng},
title = {Optimal Tree Contraction in the {EREW} Model},
booktitle = {Concurrent Computations: Algorithms, Architecture
and Technology},
editor = {S.K. Tewksbury and B.W. Dickinson and S.C. Schwartz},
publisher = {Plenum Press},
year = {1987},
pages = {139--156},
}
@incollection{karp:ramachandran,
author = {R.M. Karp and V. Ramachandran},
title = {Parallel Algorithms for Shared-Memory Machines},
booktitle = {Handbook of Computer Science},
editor = {J. van Leeuwen},
publisher = {MIT Press/Elsevier},
year = {1992},
}
@article{knobe:lukas:steele,
author = {K. Knobe and J.D. Lukas and G.L. Steele},
title = {Data Optimization: Allocation of Arrays to Reduce
Communication on {SIMD} Machines},
journal = {Journal of Parallel and Distributed Computing},
volume = {8},
year = {1990},
pages = {102--118},
}
@article{kuzmaul,
author = {B.C. Kuzmaul},
title = {Fast, Deterministic Routing on Hypercubes, Using Small
Buffers},
journal = {{IEEE} Transactions on Computers},
volume = {C-39, No. 11},
month = {November},
year = {1990},
pages = {1390--1393},
}
@techreport{albert,
author = {E. Albert and K. Knobe and J. Lukas and G.L. Steele},
title = {Compiling {F}ortran 8x Features for the {C}onnection
{M}achine Computer System},
institution = {Compass},
year = {1988},
number = {CA-8801-0401},
note = {Also appeared in {SIGPLAN} Notices, Volume 23, September 1988},
}
@techreport{knobe:natarajan,
author = {K. Knobe and V.K. Natarajan},
title = {Data Optimization: Minimizing Residual Interprocessor
Data Motion on {SIMD} Machines},
institution = {Compass},
year = {1990},
number = {CA-9006-2001},
note = {Also appeared in 3rd Symp. on Frontiers of Massively
Parallel Computation, October, 1990},
}
@techreport{knobe,
author = {K. Knobe and J. Lukas and G.L. Steele},
title = {Massively Parallel Data Optimization},
institution = {Compass},
year = {1988},
number = {CA-8810-1401},
note = {Also appeared in 2nd Symp. on Frontiers of Massively
Parallel Computation, October, 1988},
}
@inproceedings{prins,
author = {J.F. Prins},
title = {A Framework for Efficient Execution of Array-Based
Languages and {SIMD} Computers},
booktitle = {3rd Symposium on the Frontiers of Massively
Parallel Computation},
year = {1990},
organization = {{IEEE}},
}
@article{quinn:hatcher,
author = {M.J. Quinn and P.J. Hatcher},
title = {Data-Parallel Programming on Multicomputers},
journal = {{IEEE} Software},
month = {September},
year = {1990},
pages = {69--76},
}
@article{dally:2,
author = {W.J. Dally},
title = {Express Cubes: Improving the Performance of
k-ary n-cube Interconnection Networks},
journal = {{IEEE} Transactions on Computers},
volume = {40, No.9},
month = {September},
year = {1990},
pages = {1016--1023},
}
@misc{horwat,
author = {W. Horwat and B. Totty and W.J. Dally},
title = {{COSMOS}: An Operating System for a Fine-Grain
Concurrent Computer},
year = {1990},
}
@techreport{goldman,
author = {K.J. Goldman},
title = {Paralation Views: Abstractions for Efficient Scientific
Computing on the {C}onnection {M}achine},
institution = {M.I.T. Laboratory for Computer Science},
number = {MIT/LCS/TM398},
year = {1989},
}
@misc{martin:nipkow,
author = {U. Martin and T. Nipkow},
title = {Automating {S}quiggol},
year = {1990},
howpublished = {Jerusalem Working Group 2.3 Meeting},
}
@article{cj,
author = {D.B. Skillicorn},
title = {Practical Concurrent Programming for Parallel
Machines},
journal = {The Computer Journal},
volume = {34, No. 4},
pages = {302--310},
year = {1991},
}
@inproceedings{noakes:dally,
author = {M.O. Noakes and W.J. Dally},
title = {System Design of the {J}-{M}achine},
booktitle = {Proceedings of the Sixth {MIT} Conference on
Advanced Research in {VLSI}},
publisher = {{MIT} Press},
year = {1990},
pages = {179-194},
}
@misc{horwat,
author = {W. Horwat and A. Chien and W.J. Dally},
title = {{COSMOS}: An Operating System for a Fine-Grain Concurrent
Computer},
howpublished = {{MIT CVA} memo},
year = {1990},
}
@techreport{antonelli:baiardi,
author = {S. Antonelli and F. Baiardi and S. Pelegatti and
M. Vanneschi},
title = {Communication Cost and Process Mapping in Massively
Parallel Systems: A Static Approach},
institution = {Dipartimento di Informatica, Universita di Pisa},
number = {12/89},
year = {1989},
}
@techreport{antonelli:pelagatti,
author = {S. Antonelli and S. Pelagatti},
title = {On the Complexity of the Mapping Problem for
Massively Parallel Architectures},
institution = {Dipartimento di Informatica, Universita di Pisa},
number = {5/91},
year = {1991},
}
@inproceedings{antonelli:baiardi:pelagatti,
author = {S. Antonelli and F. Baiardi and S. Pelegatti and
M. Vanneschi},
title = {A Static Approach to Process Mapping in Massively
Parallel Systems},
booktitle = {Parallel Processing},
editor = {M. Cosnard and M.H. Barton and M. Vanneschi},
publisher = {Elsevier Science Publishers B.V.},
year = {1988},
}
@book{agha,
author = {G. Agha},
title = {{A}ctors: A model of Concurrent
Computation in Distributed Systems},
publisher = {{MIT} Press},
year = {1986},
}
@INPROCEEDINGS{smith:hep,
AUTHOR = {B.J. Smith},
TITLE = {A Pipelined, Shared Resource {MIMD} Computer},
BOOKTITLE = {Proceedings of the International Conference on
Parallel Processing},
PAGES = {6--8},
YEAR = {1978},
MONTH = {August},
}
@inproceedings{blelloch:sabot,
author = {G.E. Blelloch and G.W. Sabot},
title = {Compiling Collection-Oriented Languages onto
Massively-Parallel Computers},
booktitle = {Proceedings of the 2nd Symposium on the Frontiers
of Massively Parallel Computation},
year = {1988},
pages = {575--585},
}
@article{blelloch:sabot2,
author = {G.E. Blelloch and G.W. Sabot},
title = {Compiling Collection-Oriented Languages onto
Massively-Parallel Computers},
journal = {Journal of Parallel and Distributed Computing},
year = {1990},
pages = {119--134},
}
@inproceedings{blelloch:chatterjee,
author = {G.E. Blelloch and S. Chatterjee},
title = {{VCODE}: A Data-Parallel Intermediate Language},
booktitle = {Proceedings of the 3rd Symposium on the Frontiers
of Massively Parallel Computation},
month = {October},
year = {1990},
pages = {471--480},
}
@inproceedings{warp,
author = {H.T. Kung},
title = {{Warp} Experience: We can Map Computations Onto a
Parallel Computer Efficiently},
booktitle = {International Conference on Supercomputing},
month = {June},
publisher = {{ACM}},
year = {1988},
pages = {668--675},
}
@techreport{danelutto,
author = {M. Danelutto and R. Di Meglio and S. Pelagatti
and M. Vanneschi},
title = {High Level Language Constructs for Massively Parallel
Computing},
institution = {Hewlett Packard Pisa Science Center, HPL-PSC-90-19},
year = {1990},
}
@techreport{danelutto5,
author = {M. Danelutto and M. Vanneschi},
title = {Timed Semantics},
institution = {Hewlett Packard Pisa Science Center, HPL-PSC-90-6},
year = {1990},
}
@techreport{danelutto2,
author = {M. Danelutto and S. Pelagatti
and M. Vanneschi},
title = {High Level Languages for Easy Massively Parallel
Computing},
institution = {Hewlett Packard Pisa Science Center, HPL-PSC-91-16},
year = {1991},
}
@inproceedings{baiardi:danelutto,
author = {F. Baiardi and M. Danelutto and M. Jazayeri and S. Pelagatti
and M. Vanneschi},
title = {Architectural Models and Design Methodologies for
General-Purpose Highly-Parallel Computers},
booktitle = {{IEEE} CompEuro 91 -- Advanced Computer Technology,
Reliable Systems and Applications},
month = {May},
year = {1991},
}
@book{cole:book,
author = {M. Cole},
title = {Algorithmic Skeletons: Structured Management of Parallel
Computation},
publisher = {Pitman},
series = {Research Monographs in Parallel and Distributed
Computing},
year = {1989},
}
@techreport{heywood:ranka1,
author = {T. Heywood and S. Ranka},
title = {A Practical Hierarchical Model of Parallel
Computation: The Model},
institution = {School of Computer and Information Science,
Syracuse University},
number = {SU-CIS-91-06},
year = {1991},
}
@techreport{heywood:ranka2,
author = {T. Heywood and S. Ranka},
title = {A Practical Hierarchical Model of Parallel
Computation: Binary Tree and {FFT} Graph
Algorithms},
institution = {School of Computer and Information Science,
Syracuse University},
number = {SU-CIS-91-07},
year = {1991},
}
@book{blelloch:book,
author = {G.E. Blelloch},
title = {Vector Models for Data-Parallel Computing},
publisher = {{MIT} Press},
year = {1990},
}
@article{buhr,
keywords = {concurrency, light-weight process, shared memory},
contributer = {pabuhr@msg},
author = {Peter A. Buhr and Richard A. Stroobosscher},
title = {The $\mu${S}ystem: Providing Light-Weight
Concurrency on Shared-Memory Multiprocessor
Computers Running {UNIX}},
journal = {Software Practice and Experience},
volume = 20,
number = 9,
month = {September},
year = 1990,
pages = {929--963},
}
@techreport{usystem,
keywords = {concurrency},
author = {Peter A. Buhr and Hamish I. Macdonald
and Richard A. Stroobosscher},
title = {$\mu${S}ystem Reference Manual, Version 4.3.3},
institution = {Department of Computer Science, University of Waterloo},
address = {Waterloo, Ontario, Canada, N2L 3G1},
month = {March},
year = 1991,
}
@phdthesis{mullin,
author= "L. M. R. Mullin",
title= "A Mathematics of Arrays",
school= "Syracuse University",
year= 1988,
type= "Doctoral dissertation",
address= "Syracuse, N.Y.",
month= "December"
}
@techreport{wills:thesis,
author = {D.S. Wills},
title = {Pi: A Parallel Architecture Interface for Multi-Model
Execution},
institution = {{MIT} Artificial Intelligence Laboratory},
number = {AI-TR-1245},
year = {1990},
}
@inproceedings{torre:kruskal,
author = {P. de la Torre and C.P. Kruskal},
title = {Towards a Single Model of Efficient Computation in
Real Parallel Machines},
booktitle = {Parallel Architectures and Languages Europe PARLE91,
Vol. I},
publisher = {Springer Lecture Notes in Computer Science},
month = {June},
year = {1991},
pages = {6--24},
note = {Also appeared in Future Generation Computer Systems,
Vol.8, No.4, September 1992, 395},
}
@inproceedings{danelutto3,
author = {M. Danelutto and M. Vanneschi},
title = {{VLIW}-in-the-Large: A Model for Fine Grain Parallelism
Exploitation on Distributed Memory Multiprocessors},
booktitle = {Proceedings of the 23rd Annual Workshop on
Microprogramming and Microarchitecture},
month = {November},
year = {1990},
pages = {7--16},
}
@inproceedings{danelutto4,
author = {M. Danelutto},
title = {Extending the {VLIW} Approach to Fine Grain Parallelism
Exploitation Beyond Single Control Unit Machines},
booktitle = {Proceedings of the Fifth International Symposium on
Computer and Information Sciences},
volume = {I},
year = {1990},
}
@phdthesis{danelutto:thesis,
author = {M. Danelutto},
title = {A Massively Parallel Architecture Using {VLIW}
for Fine Grain Parallelism Exploitation},
school = {Dipartimento di Informatica, Universit\`{a} di Pisa},
month = {March},
year = {1990},
}
@inproceedings{hagino,
author = {T. Hagino},
title = {A Typed Lambda Calculus with Categorical Type
Constructors},
booktitle = {Category Theory and Computer Science},
editor = {D.H. Pitt and A. Poign\'{e} and D.E. Rydeheard},
publisher = {Springer Lecture Notes in Computer Science, 283},
year = {1987},
pages = {140--157},
}
@phdthesis{mullin:thesis,
author = {L.M.R. Mullin},
title = {A Mathematics of Arrays},
school = {Syracuse University},
month = {December},
year = {1988},
}
@inproceedings{faust,
author = {J.E. Faust and H.M. Levy},
title = {The Performance of an Object-Oriented Threads
Package},
booktitle = {{OOPSLA} {ECOOP}90 Proceedings},
editor = {N. Meyrowitz},
month = {October},
year = {1990},
pages = {278--288},
publisher = {{SIGPLAN} Notices, Vol 25, No. 10},
}
@inproceedings{hains,
author = {G. Hains},
title = {Multidimensional Arrays as Parallel Data Structures},
booktitle = {Abstract Machine Models for Highly Parallel
Computers},
address = {University of Leeds, U.K.},
month = {March},
year = {1991},
}
@misc{hains:mullin,
author = {G. Hains and L.M.R. Mullin},
title = {An Algebra of Multidimensional Arrays},
howpublished = {preprint},
year = {1991},
}
@misc{mullin:hains,
author = {L.M.R. Mullin and G. Hains},
title = {New Parallel Optimizations for Monolithic Arrays},
howpublished = {preprint},
month = {May},
year = {1991},
}
@phdthesis{malcolm:thesis,
author = {G. Malcolm},
title = {Algebraic Data Types and Program Transformation},
school = {Rijksuniversiteit Groningen},
month = {September},
year = {1990},
}
@article{rahbi,
author = {F.A. Rahbi and G.A. Manson},
title = {Experiments with a Transputer-based Parallel
Graph Reduction Machine},
journal = {Concurrency Practice and Experience},
year = {to appear},
}
@book{kelly,
author = {P. Kelly},
title = {Functional Programming for Loosely-Coupled Multiprocessors},
publisher = {Pitman},
year = {1989},
}
@incollection{alice,
author = {J. Darlington and M. Cripps and T. Field and P.G. Harrison
and M.J. Reeve},
title = {The Design and Implementation of {ALICE}: a parallel
graph reduction machine},
booktitle = {Selected Reprints on Dataflow and Reduction
Architectures},
publisher = {IEEE Computer Society Press},
editor = {S.S. Thakkar},
year = {1987},
}
@techreport{grip,
author = {S.L. Peyton-Jones and C. Clack and N. Harris},
title = {{GRIP} -- a Parallel Graph Reduction Machine},
institution = {Department of Computer Science, University
of London},
year = {1987},
}
@article{ultra,
author = {A. Gottlieb {\em et al.}},
title = {The {NYU} {U}ltracomputer -- Designing an
{MIMD} Shared Memory Parallel Computer},
journal = {{IEEE} Transactions on Computers},
volume = {C-32},
month = {February},
year = {1983},
pages = {175--189},
}
@article{gottlieb,
author = {A. Gottlieb and B. Lubachevsky and L. Rudolph},
title = {Basic Techniques for the Efficient Coordination of
Large Numbers of Cooperating Sequential Processes},
journal = {{ACM} Transactions of Programming Languages and
Systems},
volume = {5},
number = {2},
month = {April},
year = {1983},
pages = {},
}
@book{jones:goldsmith,
author = {G. Jones and M. Goldsmith},
title = {Programming in Occam2},
publisher = {Prentice-Hall},
year = {1988},
}
@techreport{cole2,
author = {M. Cole},
title = {Towards Fully Local Multicomputer Implementations
of Functional Programs},
institution = {Department of Computing Science, University of
Glasgow},
number = {CS90/R7},
month = {January},
year = {1990},
}
@inproceedings{baude:naquet,
author = {F. Baude and G. Vidal-Naquet},
title = {Actors as a Parallel Programming Model},
booktitle = {Proceedings of 8th Symposium on Theoretical Aspects
of Computer Science},
publisher = {Springer Lecture Notes in Computer Science 480},
year = {1991},
pages = {},
}
@inproceedings{more:apl,
author = {T. More},
title = {The Nested Rectangular Array as a Model of Data},
booktitle = {Proceedings of APL 79, APL Quote Quad},
number = {4},
year = {1979},
}
@techreport{more1,
author = {T. More},
title = {Notes on the Diagrams, Logic, and Operations of Array Theory},
institution = {IBM Cambridge Scientific Center},
number = {G230-2137},
year = {1981},
}
@techreport{more2,
author = {T. More},
title = {On the Development of Array Theory},
institution = {IBM Cambridge Scientific Center Technical Report},
year = {1986},
}
@inproceedings{wadler:theorems,
author = {P. Wadler},
title = {Theorems for Free},
booktitle = {Functional Programming Languages and
Computer Architecture Conference Proceedings},
month = {September},
year = {1989},
pages = {347--359},
}
@article{bal,
author = {H.E. Bal and J.G. Steiner and A.S. Tanenbaum},
title = {Programming Languages for Distributed Computing
Systems},
journal = {Computing Surveys},
volume = {21},
number = {3},
month = {September},
year = {1989},
pages = {261--322},
}
@inproceedings{nicolau,
author = {A. Nicolau and H. Wang},
title = {Optimal Schedules for Parallel Prefix Computation
with Bounded Resources},
booktitle = {Third {ACM} {SIGPLAN} Symposium on Principles
and Pratics of Parallel Programming},
month = {April},
year = {1991},
pages = {1--10},
}
@inproceedings{ju,
author = {D.-c. Ju and W.-M. Ching},
title = {Exploitation of {APL} Data Parallelism on a Shared Memory
{MIMD} Machine},
booktitle = {Third {ACM} {SIGPLAN} Symposium on Principles
and Pratics of Parallel Programming},
month = {April},
year = {1991},
pages = {61--72},
}
@inproceedings{hatcher,
author = {P.J. Hatcher and A.J. LaPadula and R.R. Jones andM.J. Quinn
and R.J. Anderson},
title = {A Production-Quality {C}$\star$ Compiler for Hypercube
Multicomputers},
booktitle = {Third {ACM} {SIGPLAN} Symposium on Principles
and Pratics of Parallel Programming},
month = {April},
year = {1991},
pages = {73--82},
}
@booklet{goguen:rrm,
author = {J. Goguen and S. Leinwand and J. Meseguer and T. Winkler},
title = {The {R}ewrite {R}ule {M}achine 1988},
howpublished = {Oxford University Computing Laboratory, Programming
Research Group, Technical Monograph PRG-76},
year = {1989},
}
@inproceedings{agrawal,
author = {A. Agarwal and G.E. Blelloch and R.L. Krawitz and
C.A. Phillips},
title = {Four Vector-Matrix Primitives},
booktitle = {Proceedings of the 1989 {ACM} Symposium on
Parallel Algorithms and Architectures},
month = {June},
year = {1989},
pages = {292--302},
}
@techreport{skillicorn:comparison,
author = {D.B. Skillicorn},
title = {Practical Parallel Computation: {I} Models
of Computation},
institution = {Department of Computing and Information
Science, Queen's University, Technical Report
91-312},
year = {1991},
}
@techreport{skillicorn:cdt,
author = {D.B. Skillicorn},
title = {Practical Parallel Computation: {II} Categorical
Data Types},
institution = {Department of Computing and Information
Science, Queen's University, Technical Report
91-313},
year = {1991},
}
@article{skillicorn:ijpp,
author = {D.B. Skillicorn},
title = {Models for Practical Parallel Computation},
journal = {International Journal of Parallel Programming},
month = {April},
year = {1991},
volume = {20},
number = {2},
pages = {133--158},
note = {Actually appeared in 1992},
}
@article{brent,
author = {R.P. Brent},
title = {The Parallel Evaluation of General Arithmetic
Expressions},
journal = {Journal of the {ACM}},
volume = {21, No.2},
month = {April},
year = {1974},
pages = {201--206},
}
@book{morgan:book,
author = {C. Morgan},
title = {Programming from Specifications},
publisher = {Prentice-Hall International},
year = {1990},
}
@article{blum,
author = {M. Blum},
title = {A Machine-Independent Theory of the Complexity of
Recursive Functions},
journal = {J. of the ACM},
volume = {14, No.2},
year = {1967},
pages = {322--336},
}
@article{kids2,
author = {D.R. Smith},
title = {{KIDS}: A Semiautomatic Program Development
System},
journal = {{IEEE} Transactions on Software Engineering},
volume = {16, No.9},
month = {September},
year = {1990},
pages = {1024--1043},
}
@article{smith,
author = {D.R. Smith},
title = {Structure and Design of Global Search Algorithms},
journal = {Acta Informatica},
volume = {},
month = {},
year = {to appear},
pages = {},
}
@incollection{smith2,
author = {D.R. Smith},
title = {{KIDS} - A Knowledge-Based Software Development System},
booktitle = {Automating Software Design},
publisher = {{AAAI} Press},
year = {1991},
pages = {},
}
@techreport{costs,
author = {D.B. Skillicorn},
title = {Deriving Parallel Programs from Specifications Using
Cost Information},
institution = {Queen's University, Department of Computing
and Information Science, TR-91-316},
month = {September},
year = {1991},
}
@article{skillicorn:cost,
author = {D.B. Skillicorn},
title = {Deriving Parallel Programs from Specifications Using
Cost Information},
journal = {Science of Computer Programming},
year = {to appear},
}
@article{struik,
author = {P. Struik},
title = {A Systematic Design of a Parallel Program for
{D}irichlet Convolution},
journal = {Science of Computer Programming},
volume = {15},
year = {1990},
pages = {185--200},
}
@article{kmp,
author = {R.S. Bird and J. Gibbons and G. Jones},
title = {Formal Derivation of a Pattern Matching Algorithm},
journal = {Science of Computer Programming},
volume = {12},
year = {1989},
pages = {93--104},
}
@phdthesis{coffin:thesis,
author = {M.H. Coffin},
title = {{PAR}: An Approach to Architecture-Independent Parallel
Programming},
school = {Department of Computer Science, University of
Arizona},
year = {1990},
}
@inproceedings{harris:cole,
author = {T.J. Harris and M.I. Cole},
title = {The Parameterized {PRAM}},
booktitle = {International Parallel Processing Symposium},
month = {},
year = {submitted},
pages = {},
}
@misc{vaidyanathan,
author = {R. Vaidyanathan and C.R.P. Hartmann and
P.K. Varshney},
title = {{PRAM}s with Variable Memory Word-Size},
journal = {preprint},
volume = {},
month = {},
year = {},
pages = {},
}
@misc{vaidyanathan,
author = {R. Vaidyanathan and C.R.P. Hartmann and
P.K. Varshney},
title = {Parallel Computing with Small Processors},
journal = {preprint},
volume = {},
month = {},
year = {},
pages = {},
}
@phdthesis{baude:thesis,
author = {F. Baude},
title = {Utilisation du Paradigme Acteur pour le Calcul
Parall\`{e}le},
school = {Universit\'{e} de Paris-Sud},
year = {1991},
}
@techreport{verwer,
author = {N. Verwer},
title = {Categorical Semantics as a Basis for Program
Transformation},
institution = {Utrecht University, Department of Computer
Science},
year = {1990},
number = {RUU-CS-90-38},
}
@techreport{dactl,
author = {J.R. Glauert and J.R. Kennaway and M.R. Sleep},
title = {{DACTL}: A Computational Model and Compiler Target
Language Based on Graph Reduction},
institution = {University of East Anglia},
number = {SYS-C87-03},
year = {1987},
}
@misc{ease,
author = {Steven Ericsson Zenith},
title = {Programming with {E}ase},
howpublished = {Centre de Recherche en Informatique,
\'{E}cole Nationale Sup\'{e}rieure des Mines de Paris},
year = {September 20, 1991},
}
@phdthesis{heywood:thesis,
author = {T.H. Heywood},
title = {A Practical Hierarchical Model of Parallel Computation},
school = {School of Computer and Information Science, Syracuse
University},
month = {November},
year = {1991},
note = {Appears as Technical Report SU-CIS-91-39}
}
@phdthesis{meijer:thesis,
author = {E. Meijer},
title = {Calculating Compilers},
school = {Katholieke Universiteit Nijmegen},
year = {1992},
}
@techreport{lindalike,
author = {G.V. Wilson (Ed.)},
title = {Linda-Like Systems and their Implementation},
institution = {Edinburgh Parallel Computing Centre},
number = {91-13},
year = {1991},
}
@inproceedings{zenith:edinburgh,
author = {S. Ericsson Zenith},
title = {The Axiomatic Characterization of {Ease}},
booktitle = {Linda-Like Systems and their Implementation},
publisher = {Edinburgh Parallel Computing Centre, TR91-13},
year = {1991},
pages = {143--152},
}
@misc{banger,
author = {C. Banger},
howpublished = {Private communication},
year = {1991},
}
@inproceedings{cai:skillicorn,
author = {W. Cai and D.B. Skillicorn},
title = {Evaluation of a Set of Message-Passing Routines
in Transputer Networks},
booktitle = {Proceedings of the WoTUG 92 World Transputer
Users Group, ``Transputer Systems -- Ongoing Research"},
editor = {A.R. Allen},
month = {April},
city = {Aberdeen},
year = {1992},
publisher = {IOS Press},
pages = {24--36},
}
@article{recurrences,
author = {W. Cai and D.B. Skillicorn},
title = {Calculating Recurrences Using the
{B}ird-{M}eertens {F}ormalism},
journal = {Science of Computer Programming},
volume = {},
month = {},
year = {submitted March 1992},
pages = {},
}
@article{codegen,
author = {D.B. Skillicorn and W. Cai},
title = {Equational Code Generation},
journal = {},
volume = {},
month = {},
year = {submitted},
pages = {},
}
@book{gibbons:thesis,
author = {J. Gibbons},
title = {Algebras for Tree Algorithms},
publisher = {D.Phil. thesis, Programming Research Group,
University of Oxford},
year = {1991},
}
@INPROCEEDINGS{ccc,
AUTHOR = {F.P. Preparata and J. Vuillemin},
TITLE = {The Cube-connected Cycles: A Versatile Network for
Parallel Computation},
BOOKTITLE = {Proceedings of 20th Annual IEEE Symp. on
Foundations of Computer Science},
YEAR = {1979},
}
@article{bellegarde,
author = {F. Bellegarde},
title = {Rewriting Systems on {FP} Expressions to reduce the
Number of Sequences Yielded},
journal = {Science of Computer Programming},
volume = {6},
year = {1986},
pages = {11--34},
}
@inproceedings{antonelli:etc,
author = {S. Antonelli and F. Baiardi
and S. Pelagatti and M. Vanneschi},
title = {Modeling Concurrent Programs for
Static Mapping},
booktitle = {Parallel Computing '91},
month = {September},
year = {1991},
pages = {},
}
@techreport{chin2,
author = {A. Chin},
title = {General Purpose Parallel Computers: Algorithms and
Complexity},
institution = {Programming Research Group, Oxford University},
number = {PRG-TR-9-90},
year = {1990},
}
@techreport{chin3,
author = {A. Chin},
title = {Locality-Preserving Hash Functions for General Purpose
Parallel Computation},
institution = {Programming Research Group, Oxford University},
number = {PRG-TR-9-91},
year = {1991},
}
@techreport{chin4,
author = {A. Chin},
title = {Permutations on the Block {PRAM}},
institution = {Programming Research Group, Oxford University},
number = {PRG-TR-8-91},
year = {1991},
}
@techreport{chin5,
author = {A. Chin},
title = {Latency Hiding for Fault-Tolerant {PRAM} Computations},
institution = {Programming Research Group, Oxford University},
number = {PRG-TR-21-90},
year = {1990},
}
@misc{charity,
author = {R. Cockett and T. Fukushima},
title = {About {CHARITY}},
howpublished = {University of Calgary preprint},
year = {1991},
}
@inproceedings{Sands:ESOP90+,
author = "D. Sands",
title = "Complexity Analysis for a Lazy Higher-Order Language",
booktitle = {Proceedings of the Third European Symposium on Programming},
publisher = {Springer-Verlag},
year = {1990},
month = "May",
number = "432",
series = "{L}{N}{C}{S}",
note = {}
}
@PhDThesis{Sands:PhDthesis,
author = "D. Sands",
title = "Calculi for Time Analysis of Functional Programs",
school = "Imperial College",
year = "1990",
OPTaddress = "",
month = "September",
OPTnote = ""
}
@inproceedings{Sands:FSTandTCS,
author = "D. Sands",
title = "Time Analysis, Cost Equivalence and Program Refinement",
booktitle = "Proceedings of the Eleventh Conference on Foundations
of Software Technology and Theoretical Computer Science",
year = "1991",
pages = "25--39",
publisher = "Springer-Verlag Lecture Notes in Computer Science 560",
month = "December"
}
@InProceedings{HuntSands:PEPM91,
author = "S. Hunt and D. Sands",
title = "Binding Time Analysis: A New PERspective",
booktitle = "Proceedings of the {A}{C}{M}
Symposium on Partial Evaluation and Semantics-Based Program Manipulation",
year = "1991",
month = "September",
note = "ACM SIGPLAN Notices 26(9)"
}
@InProceedings{Sands:GFPW91,
author = "D. Sands",
title = "Operational Theories of Improvement in Functional Languages
(Extended Abstract)",
booktitle = "Proceedings of the Fourth {G}lasgow Workshop on
Functional Programming",
year = "1991",
publisher = "{\em To appear:} {S}pringer Workshop Series"
}
@article{skillicorn:cost2,
author = {D.B. Skillicorn and W. Cai},
title = {A Cost Calculus for Parallel Functional
Programming},
journal = {},
volume = {},
month = {submitted},
year = {1992},
pages = {},
note = {Also appears as Department of Computer
Science Technical Report 92-329},
}
@article{linda-kernel,
author="N. Carriero and D. Gelernter",
title="The {S/N}et's {L}inda Kernel",
journal="ACM Transactions on Computer Systems",
volume=4, number=2, pages="110--129",
month=May, year=1986
}
@inproceedings{global-buffer,
author="D. Gelernter and A. Berstein",
title="Distributed Communication via a Global Buffer",
booktitle="ACM Symposium on Principles of Distributed Computing",
month=aug, year=1982, pages="10--18"
}
@article{linda,
author="D. Gelernter",
title={Generative Communication in {L}inda},
journal="ACM Transactions on Programming Languages and Systems",
volume=7, number=1, pages="80--112",
year=1985
}
@inproceedings{applications-linda,
author="Nicholas Carriero and David Gelernter",
title="Application Experience with {L}inda",
booktitle="ACM/SIGPLAN Symposium on Parallel Programming",
month=jul, year=1988
}
@inproceedings{dynamic-global-namespace,
author="David Gelernter",
title="Dynamic Global Name spaces on Network Computers",
booktitle="International Conference on Parallel Processing",
month=aug, year=1984
}
@techreport{ts-imp,
author="Nicholas Carriero",
title="Implementation of Tuple Space Machines",
institution="Dept. of Computer Science, Yale University",
note="Research Report YALEU/DCS/RR-567",
month=dec, year=1987
}
@inproceedings{hummel:hummel,
author = {S. Flynn Hummel and R. Hummel},
title = {Massively Parallel Programming with
Sets},
booktitle = {},
volume = {},
month = {},
year = {},
pages = {},
}
@inproceedings{hummel:kelly:hummel,
author = {R. Hummel and R. Kelly and S. Flynn
Hummel},
title = {A Set-Based Language for Prototyping
Parallel Algorithms},
booktitle = {Proceedings of the Computer
Architecture for Machine Perception '91
Conference},
month = {December},
year = {1991},
pages = {},
}
@inproceedings{chen:cowie,
author = {M. Chen and J. Cowie},
title = {Prototyping {F}ortran-90 Compilers for Massively
Parallel Machines},
booktitle = {ACM SIGPLAN '92 Conference on Programming Language
Design and Implementation},
month = {June},
year = {1992},
pages = {94--105},
}
@article{lincoln,
author = {P. Lincoln},
title = {Linear Logic: Guest Logic Column},
journal = {SIGACT News},
volume = {23, No.2},
month = {Spring},
year = {1992},
pages = {29--37},
}
@article{harrison:while,
author = {P.G. Harrison and R.L. While},
title = {Transformation of Polynomial Evaluation to a Pipeline
via {H}orner's {R}ule},
journal = {},
volume = {},
month = {},
year = {1992},
pages = {},
}
@inproceedings{darlington:field,
author = {J. Darlington and A.J. Field and P.G. Harrison and
P.H.J. Kelly and Q. Wu and R.L. While},
title = {Parallel Programming Using Skeleton Functions},
booktitle = {PARLE93, Parallel Architectures and Languages
Europe},
volume = {},
month = {June},
year = {1993},
pages = {},
}
@inproceedings{jouret,
author = {G.K. Jouret},
title = {Compiling Functional Languages for {SIMD} Architectures},
booktitle = {Third IEEE Symposium on Parallel and Distributed
Languages},
volume = {},
month = {December},
year = {1991},
pages = {},
}
@article{danelutto:fgcs,
author = {M. Danelutto and R. di Meglio and S. Orlando and
S. Pelagatti and M. Vanneschi},
title = {A Methodology for the Development and the Support of
Massively Parallel Programs},
journal = {Future Generation Computer Systems},
volume = {},
month = {},
year = {1992},
pages = {},
note = {Also appears as ``The $P^3L$ language: an introduction",
Hewlett-Packard Report HPL-PSC-91-29, December 1991},
}
@inproceedings{keckler:dally,
author = {S.W. Keckler and W.J. Dally},
title = {Processor Coupling: Integrating Compile Time and
Runtime Scheduling for Parallelism},
booktitle = {Proceedings of the 19th Annual International Symposium
on Computer Architecture},
month = {May},
year = {1992},
pages = {202--213},
}
@article{dally:aoki,
author = {W.J. Dally and H. Aoki},
title = {Deadlock-Free Adaptive Routing in Multicomputer Networks
Using Virtual Channels},
journal = {IEEE Transactions on Parallel and Distributed Systems},
volume = {4, No.4},
month = {April},
year = {1993},
pages = {466},
}
@article{dally:et:al,
author = {W.J. Dally and J.A.S. Fiske and J.S. Keen and R.A. Lethin
and M.D. Noakes and P.R. Nuth and R.E. Davison and G.A. Fyler},
title = {The Message-Driven Processor},
journal = {IEEE Micro},
month = {April},
year = {1992},
pages = {23--39},
}
@article{sharp:cripps,
author = {D. Sharp and M. Cripps},
title = {Parallel Algorithms that Solve Problems
by Communication},
booktitle = {Third IEEE Symposium on Parallel
and Distributed Processing},
month = {December},
year = {1991},
pages = {},
}
@inproceedings{bacci,
author = {B. Bacci and E. Chiti and M. Danelutto and M. Vanneschi},
title = {Evaluating the {VLIW}-in-the-large Computing Model},
booktitle = {MICRO25},
volume = {},
month = {},
year = {},
pages = {},
}
@article{hummel,
author = {S. Flynn Hummel and R. Kelly},
title = {A Rationale for Parallel Programming with Sets},
journal = {Journal of Programming Languages},
volume = {},
month = {},
year = {to appear},
pages = {},
}
@article{snyder,
author = {L. Snyder},
title = {Type Architectures, Shared Memory and the Corollary
of Modest Potential},
journal = {Annual Review of Computer Science 1986},
volume = {1},
year = {1987},
pages = {289--317},
}
@inproceedings{berman:snyder,
author = {F. Berman and L. Snyder},
title = {On Mapping Parallel Algorithms into Parallel Architectures},
booktitle = {International Conference on Parallel Processing},
month = {August},
year = {1984},
pages = {307--309},
}
@inproceedings{banger:atable,
author = {C. Banger},
title = {Arrays with Categorical Type Constructors},
booktitle = {ATABLE'92 Proceedings of a Workshop
and Arrays},
month = {June},
year = {1992},
pages = {105--121},
}
@misc{mackie:paper,
author = {I. Mackie},
title = {{Lilac}: a Functional Programming Language Based on
Linear Logic},
publisher = {Department of Computing, Imperial College of
Science and Technology, London},
month = {June},
year = {1992},
}
@mscthesis{mackie:thesis,
author = {I. Mackie},
title = {{Lilac}: A Functional Programming Language Based on
Linear Logic},
school = {Department of Computing, Imperial College of
Science and Technology, London},
month = {September},
year = {1991},
}
@article{abramsky:tcs,
author = {S. Abramsky},
title = {Computational Interpretations of Linear Logic},
journal = {Theoretical Computer Science},
volume = {111},
number = {1/2},
month = {April},
year = {1993},
pages = {3},
}
@inproceedings{boiten,
author = {E.A. Boiten},
title = {Intersections of Sets and Bags of Extended
Substructures--A Class of Problems},
booktitle = {Proceedings of the IFIP TC2 Working Conference
on Constructing Programs from Specifications},
editor = {B. M\"{o}ller},
publisher = {North-Holland},
month = {May},
year = {1991},
pages = {34--49},
}
@inproceedings{gerbessiotis:valiant,
author = {A.V. Gerbessiotis and L.G. Valiant},
title = {Direct Bulk-Synchronous Parallel Algorithms},
booktitle = {Proceedings of the Third Scandinavian Workshop
on Algorithm Theory},
series = {Springer Lecture Notes in Computer Science},
volume = {},
month = {July},
year = {1992},
pages = {},
}
@inproceedings{blelloch:dags,
author = {G.E. Blelloch},
title = {Programming Parallel Algorithms},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {11--18},
}
@inproceedings{hatcher2,
author = {P.J. Hatcher},
title = {The Joy of Data-Parallel Programming},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {19--30},
}
@inproceedings{nyland:prins,
author = {L.S. Nyland and J.F. Prins},
title = {Prototyping Parallel Algorithms},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {31--39},
note = {Proteus},
}
@inproceedings{mou,
author = {Z.G. Mou and A.J. Huang and T. Hickey},
title = {Parallel Recurrence Transformation},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {63--73},
}
@inproceedings{leiserson,
author = {C.E. Leiserson {\em et al.}},
title = {The Network Architecture of the {C}onnection
{M}achine {CM-5}},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {101--114},
}
@inproceedings{rothnie,
author = {J. Rothnie},
title = {Kendall {S}quare {R}esearch Introduction to the {KSR1}},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {200--210},
}
@inproceedings{kilian:dags,
author = {M.F. Kilian},
title = {Can {O-O} Aid Massively Parallel Programming?},
booktitle = {Proceedings of the Dartmouth Institute for Advanced
Graduate Study in Parallel Computation Symposium},
place = {Hanover, N.H.},
editor = {D.B. Johnson and F. Makedon and P. Metaxas},
month = {June},
year = {1992},
pages = {246--256},
}
@phdthesis{kilian:thesis,
author = {M.F. Kilian},
title = {Parallel {S}ets: An Object-Oriented Methodology for
Massively Parallel Programming},
school = {Harvard University},
year = {1992},
}
@book{spivey:z,
author = {J.M. Spivey},
title = {Understanding Z: A Specification Language and its Formal
Semantics},
publisher = {Cambridge University Press},
year = {1988},
}
@book{vdm:book,
author = {D. Bj\o rner and C. Jones},
title = {The {V}ienna {D}evelopment {M}ethod},
publisher = {Springer Lecture Notes in Computer Science 61},
year = {1978},
}
@inproceedings{king,
author = {S. King},
title = {{Z} and the {R}efinement {C}alculus},
booktitle = {VDM'90: VDM and Z -- Formal Methods in
Software Development},
series = {Springer Lecture Notes in Computer Science 428},
month = {April},
year = {1990},
pages = {164--188},
}
@inproceedings{banatre:lemetayer,
author = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
title = {Introduction to {G}amma},
booktitle = {Research Directions in High-Level Parallel Programming
Languages},
place = {Mont Saint-Michel, France},
editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
publisher = {Springer Lecture Notes in Computer Science 574},
month = {June},
year = {1991},
pages = {197--202},
}
@inproceedings{mussat,
author = {L. Mussat},
title = {Parallel Programming with Bags},
booktitle = {Research Directions in High-Level Parallel Programming
Languages},
place = {Mont Saint-Michel, France},
editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
publisher = {Springer Lecture Notes in Computer Science 574},
month = {June},
year = {1991},
pages = {203--218},
}
@inproceedings{creveuil,
author = {C. Creveuil},
title = {Implementation of {G}amma on the {C}onnection {M}achine},
booktitle = {Research Directions in High-Level Parallel Programming
Languages},
place = {Mont Saint-Michel, France},
editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
publisher = {Springer Lecture Notes in Computer Science 574},
month = {June},
year = {1991},
pages = {219--230},
}
@inproceedings{zenith:linda:workshop,
author = {S. Ericsson Zenith},
title = {A Rationale for Programming with {E}ase},
booktitle = {Research Directions in High-Level Parallel Programming
Languages},
place = {Mont Saint-Michel, France},
editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
publisher = {Springer Lecture Notes in Computer Science 574},
month = {June},
year = {1991},
pages = {147--156},
}
@inproceedings{meseguer:winkler,
author = {J. Meseguer and T. Winkler},
title = {Parallel Programming in {M}aude},
booktitle = {Research Directions in High-Level Parallel Programming
Languages},
place = {Mont Saint-Michel, France},
editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
publisher = {Springer Lecture Notes in Computer Science 574},
month = {June},
year = {1991},
pages = {253--293},
}
@Article{DRAM,
author = "Charles E. Leiserson and Bruce M. Maggs",
title = "Communication-Efficient Parallel Algorithms for
Distributed Random-Access Machines",
journal = "Algorithmica",
year = "1988",
volume = "3",
pages = "53-77",
}
@inproceedings{he:contraction,
author = "X. He",
title = "Efficient Parallel Algorithms for Solving Some Tree Problems",
booktitle = "Proceedings of 24th {A}llerton Conference on
Communication, Control and Computing",
year = "1986",
pages = "777-786",
}
@inproceedings{list:ranking,
author = "R. Cole and U. Vishkin",
title = "Approximate and Exact Parallel Scheduling with
Applications to List, Tree and Graph Problems",
booktitle = "27th IEEE Symposium on Foundations of Cmputer Science",
year = "1986",
pages = "478-491",
}
@book{gibbons:book,
author = "Alan Gibbons and Wojciech Rytter",
title = "Efficient Parallel Algorithms",
publisher = "Cambridge University Press",
year = "1988",
}
@inproceedings{gibbons:contraction,
author = "A. Gibbons and W. Rytter",
title = "An Optimal Parallel Algorithm for Dynamic Tree
Expression Evaluation and its Applications",
booktitle = "Proceedings of the Symposium on Foundations of
Software Technology and Theoretical Computer Science",
year = "1986",
pages = "453-469",
}
@article{kogge:stone,
author = "Peter M. Kogge and Harold S. Stone",
title = "A Parallel Algorithm for the Efficient Solution of a
General Class of Recurrence Equations",
journal = "IEEE Transactions on Computers",
year = "1973",
volume = "c-22",
number = "8",
pages = "786-792",
}
@book{hatcher:quinn:book,
author = {P.J. Hatcher and M.J. Quinn},
title = {Data-Parallel Programming on {MIMD} Computers},
publisher = {MIT Press},
year = {1991},
}
@article{walters,
author = {R.F.C. Walters},
title = {Data Types in Distributive Categories},
journal = {Bulletin of the Australian Mathematical Society},
volume = {40, No.1},
month = {August},
year = {1989},
pages = {79--82},
}
@techreport{walters2,
author = {R.F.C. Walters},
title = {What is Functional Programming},
institution = {Department of Pure Mathematics, University of
Sydney},
number = {89--11},
month = {August},
year = {1989},
}
@techreport{gardiner:morgan,
author = {P.H.B. Gardiner and C. Morgan},
title = {A Single Complete Rule for Data Refinement},
institution = {Oxford University Computing Laboratory},
number = {PRG-TR-7-89},
month = {November},
year = {1989},
}
@article{martin:gardiner,
author = {C.E. Martin and P.H.B. Gardiner and O. de Moor},
title = {Extending Relations to Predicate Transformers},
journal = {},
volume = {},
month = {},
year = {},
pages = {},
}
@article{gardiner,
author = {P.H.B. Gardiner},
title = {Data Refinement of Maps},
journal = {},
volume = {},
month = {August},
year = {1990},
pages = {},
}
@phdthesis{fokkinga,
author = {M.M. Fokkinga},
title = {Law and Order in Algorithmics},
school = {Universiteit Twente, Enschede, The Netherlands},
month = {February},
year = {1992},
}
@phdthesis{hagino:thesis,
author = {T. Hagino},
title = {A Categorical Programming
Language},
school = {University of Edinburgh},
year = {1987},
}
@book{manes:algebraic,
author = {E.G. Manes and M.A.Arbib},
title = {Algebraic Approaches to Program Semantics},
publisher = {Springer-Verlag},
address = {Berlin},
series = {Texts and Monographs in Computer Science},
year = {1986},
}
@book{lambek:scott,
author = {J. Lambek and P.J.Scott},
title = {Introduction to Higher Order Categorical Logic},
publisher = {Cambridge University Press},
address = {Cambridge},
series = {Cambridge Studies in Advanced Mathematics},
year = {1986},
}
@techreport{fo:continuous,
author = {M. Fokkinga},
title = {Program Calculation Properties of Continuous Algebras},
institution = {Centrum voor Wiskunde en Informatica},
number = {CS-R9104},
month = {January},
year = {1991},
}
@book{pierce:book,
author = {B. C. Pierce},
title = {A Taste of Category Theory for Computer Scientists},
publisher = {MIT Press},
year = {1991},
}
@article{lehmann:smyth,
author = {D.J. Lehmann and M.B. Smyth},
title = {Algebraic Specifications of Data Types: A Synthetic Approach},
journal = {Math. Systems Theory},
year = {1981},
volume = {14},
pages = {97-139},
}
@article{smyth:plotkin,
author = {M.B. Smyth and G.D. Plotkin},
title = {The Category-Theoretic Solution of Recursive Domain Equations},
journal = {SIAM Journal of Computing},
year = {1982},
volume = {11},
number = {4},
pages = {761-783},
}
@article{goguen:initial,
author = {J.A. Goguen},
title = {Initial Algebra Semantics and Continuous Algebras},
journal = {Journal of the Association for Computing Machinery},
volume = {24},
month = {January},
number = {1},
year = {1977},
pages = {68-95},
}
@incollection{wadler:new,
author = {P. Wadler},
title = {A New Array Operation},
booktitle = {Workshop in Graph Reduction},
series = {Lecture Notes in Computer Science},
publisher = {Springer Verlag},
number = {201},
year = {1986},
}
@article{arvind,
author = {Arvind and R.S. Nikhil and K.K. Pingali},
title = {I-Structures: Data Structures for Parallel Computing},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {11},
number = {4},
year = {1989},
pages = {598-632},
}
@article{hudak:conception,
author = {P. Hudak},
title = {The Conception, Evaluation, and Application of Functional
Programming},
journal = {ACM Computing Surveys},
volume = {21},
number = {3},
year = {1989},
pages = {359-411},
}
@article{haskell,
author = {P. Hudak and J. Fasel},
title = {A Gentle Introduction to {H}askell},
journal = {ACM SIGPLAN Notices},
volume = {27, No.5},
month = {May},
year = {1992},
}
@techreport{butler:lusk,
author = {R. Butler and E. Lusk},
title = {User's Guide to the p4 Programming System},
institution = {Argonne National Laboratory, Mathematics and
Computer Science Division},
month = {October},
year = {1992},
number = {ANL-92/17},
}
@inproceedings{movie,
author = {C. Faigle and W. Furmanski and T. Haupt and J. Niemiec and
M. Podgorny and D. Simoni},
title = {{MOVIE} Model for Open Systems Based High Performance
Distributed Computing},
booktitle = {{IEEE} Symposium on High Performance Computing HPDC1},
month = {September},
year = {1992},
city = {Syracuse},
pages = {},
note = {Also appeared in Concurrency: Practice and Experience,
Vol 5, No.4, June 1993},
}
@phdthesis{spencer:thesis,
author = {D. Spencer},
title = {Categorical Programming with Functorial Strength},
school = {Oregon Graduate Institute of Science and Technology},
month = {January},
year = {1993},
}
@article{costcalculusI,
author = {D.B. Skillicorn},
title = {Deriving Parallel Programs from Specifications Using
Cost Information},
journal = {Science of Computer Programming},
volume = {20},
number = {3},
month = {June},
year = {1993},
pages = {205--221},
}
@misc{BMFparallelism,
author = {D.B. Skillicorn},
title = {Parallelism and the {B}ird-{M}eertens
{F}ormalism},
howpublished = {FTP from qucis.queensu.ca in
/pub/skill},
}
@inproceedings{molecules,
author = {D.B. Skillicorn},
title = {Categorical Data Types},
booktitle = {Second Workshop on Abstract Models for Parallel
Computation},
address = {Oxford University Press},
year = {1993},
}
@article{clos,
author = {K.G. Kumar and D.B. Skillicorn},
title = {Data Parallel Geometric Operations on Lists},
journal = {Parallel Computing},
year = {submitted},
}
@techreport{bouge:dataparallel,
author = {L. Boug\'{e}},
title = {The Data-Parallel Programming Model: A Semantic Perspective},
institution = {Laboratoire de l'Informatique du Parall\'{e}lisme,
Ecole Normale Sup\'{e}rieure de Lyon},
number = {92--45},
year = {1992},
}
@techreport{vishkin:seq,
author = {U. Vishkin},
title = {Can Parallel Algorithms Enhace
Serial Implementation},
institution = {University of Maryland, Center for Advanced
Computer Studies},
number = {91-145},
year = {1991},
}
@phdthesis{biagioni,
author = {E.S. Biagioni},
title = {Scan Directed Load Balancing},
school = {University of North Carolina at Chapel Hill},
year = {1991},
}
@techreport{larus,
author = {J.R. Larus and B. Richards and G. Viswanathan},
title = {{C**}: A Large-Grain, Object-Oriented, Data-Paralell
Programming Language},
institution = {University of Wisconsin-Madison},
number = {TR1126},
month = {November},
year = {1992},
}
@phdthesis{tseng,
author = {C.-W. Tseng},
title = {An Optimizing {F}ortran {D} Compiler for {MIMD}
Distributed-Memory Machines},
school = {Rice University},
month = {January},
year = {1993},
note = {Also Rice COMP TR-93-199},
}
@inproceedings{hains:foisy,
author = {G. Hains and C. Foisy},
title = {The Data-Parallel Categorical Abstract Machine},
booktitle = {PARLE93, Parallel Architectures and Languages Europe},
month = {June},
year = {1993},
pages = {},
}
@misc{hpff,
title = {High Performance {F}ortran Language Specification},
howpublished = {Available by ftp from {\tt titan.rice.cs.edu}},
key = {High},
month = {January},
year = {1993},
}
@article{cdt,
author = {C.R. Banger and D.B. Skillicorn},
title = {Building Categorical Data Types},
journal = {},
month = {submitted},
year = {1993},
}
@phdthesis{banger:thesis,
author = {C.R. Banger},
title = {Categorical Construction of
Arrays},
school = {Queen's University},
year = {1993},
}
@inproceedings{steele:hpf,
author= {G.L. {Steele Jr.}},
title = {High Performance Fortran: Status Report},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {1--4},
}
@inproceedings{pratt,
author= {T.W. Pratt},
title = {Kernel-control Parallel Versus Data Parallel:
A Technical Comparison},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {5--8},
}
@inproceedings{feldman,
author= {J.A. Feldman and C.-C. Lim and T. Rauber},
title = {The Shared Memory Language {pSather} on a
Distributed Memory Multiprocessor},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {17--20},
}
@inproceedings{lemke,
author= {M. Lemke and D. Quinlan},
title = {{P++}, a Parallel {C++} Array Class Library
for Architecture-Independent Development of
Structured Grid Applications},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {21--23},
}
@inproceedings{baden,
author= {S.B. Baden adnd S.R. Kohn},
title = {Lattice Parallelism: A Parallel Programming Model
for Manipulating Non-Uniform Structured
Scientific Data Structures},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {24--27},
}
@inproceedings{gross:hinrichs,
author= {T. Gross and S. Hinrichs and G. Lueh and
D. O'Halloran and J. Stichnoth and J. Subhlok},
title = {Compiling Task and Data Parallel Programs for
{iWarp}},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {32--35},
}
@inproceedings{snyder:orca,
author= {L. Snyder},
title = {Synposis of {Orca}, a Simple Language Implementation
of Phase Abstractions},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {40--43},
}
@inproceedings{seevers,
author= {B.K. Seevers and M.J. Quinn and P.J. Hatcher},
title = {A Parallel Programming Environment Supporting
Multiple Data-Parallel Modules},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {44--47},
}
@inproceedings{cox,
author= {S. Cox and S.-Y. Huang and P. Kelly and J. Liu},
title = {Program Transformations for Static Process
Networks},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {60--63},
}
@inproceedings{chatterjee:gilbert,
author= {S. Chatterjee and J.R. Gilbert and R. Schreiber
and S.-H. Teng},
title = {Optimal Evaluation of Array Expressions on Massively
Parallel Machines},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {68--71},
}
@inproceedings{zenith:boulder,
author= {S. Ericsson Zenith},
title = {Ease: the Model and its Implementation},
booktitle = {Proceeding of a Workshop on Languages,
Compilers and Run-Time Enviroments for Distributed
Memory Multiprocessors, appeared as SIGPLAN Notices,
Vol 28, No. 1, January 1993},
month = {September},
year = {1992},
pages = {87},
}
@techreport{enterprise1,
author= {G. Lobe and P. Lu and S. Melax and I. Parsons and
J. Schaeffer and C. Smith and D. Szafron},
title = {The {E}nterprise Model for Developing Distributed
Applications},
institution = {Department of Computing Science, University
of Alberta},
number = {92--20},
month = {NOvember},
year = {1992},
}
@techreport{bacs,
author= {H. Burkhart and C. Falc\'{o} Korn and S. Gutzwiller and
P. Ohnacker and S. Waser},
title = {{BACS}: {B}asel {A}algorithm {C}lassification
{S}cheme},
institution = {Institut f\"{u}r Informatik der Universit\"{a}t
Basel},
number = {93--3},
month = {March},
year = {1993},
}
@inproceedings{culler:logp,
author= {D. Culler and R. Karp and D. Patterson and A. Sahay
and K.E. Schauser and E. Santos and R. Subramonian
and T. von Eicken},
title = {{LogP}: Toward a Realistic Model of Parallel
Computation},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice
of Parallel Programming},
month = {May},
year = {1993},
pages = {1--12},
}
@misc{enterprise2,
author= {D. Szafron and J. Schaeffer and P.S. Wong and
E. Chan and P. Lu and C. Smith},
title = {Enterprise: An Interactive Graphical Programming
Environment for Distributed Software},
howpublished = {ftp from {\tt cs.ualberta.ca}},
year = {1991},
}
@misc{pcn:manual,
author= {I. Foster and S. Tuecke},
title = {Parallel Programming with {PCN}},
howpublished = {ftp from {\tt info.mcs.anl.gov}},
version = {2.0},
month = {January},
year = {1993},
}
@techreport{p4,
author= {R. Butler and E.Lusk},
title = {User's Guide to the {p4} Programming System},
institution = {Argonne National Laboratory},
number = {ANL--92/17},
month = {October},
year = {1992},
}
@misc{pandore,
author= {F. Andr\'{e} and O. Ch\'{e}ron and J.-L. Pazat},
title = {Compiling Sequential Programs for Distributed Memory
Parallel Computers with {P}andore {II}},
month = {May},
year = {1992},
}
@inproceedings{wagner,
author= {D. Feldcamp and A. Wagner},
title = {{P}arsec: A Software Development Environment for
Performance Oriented Parallel Programming},
booktitle = {Transputer Research and Applications 6},
editor = {S. Atkins and A. Wagner},
publisher = {IOS Press},
address = {Amsterdam, Oxford, Washington, Tokyo},
month = {May},
year = {1993},
pages = {247--262},
}
@techreport{blelloch:nesl,
author= {G.E. Blelloch},
title = {{NESL}: a Nested Data Parallel Language},
institution = {School of Computer Science, Carnegie-Mellon
University},
number = {CMU-CS-92-103},
month = {January},
year = {1992},
}
@incollection{mccoll:sppc,
author= {W.F. McColl},
title = {Special Purpose Parallel Computing},
booktitle = {Lectures on Parallel Computation},
editor = {A.M. Gibbons and P. Spirakis},
publisher = {Cambridge University Press},
address = {Cambridge},
series = {Cambridge International Series on Parallel Computation},
year = {1993},
pages = {261--336},
}
@incollection{mccoll:gppc,
author= {W.F. McColl},
title = {General Purpose Parallel Computing},
booktitle = {Lectures on Parallel Computation},
editor = {A.M. Gibbons and P. Spirakis},
publisher = {Cambridge University Press},
address = {Cambridge},
series = {Cambridge International Series on Parallel Computation},
year = {1993},
pages = {337--391},
}
@inproceedings{chien:dally,
author= {A.A. Chien and W.J. Dally},
title = {{C}oncurrent {A}ggregates},
booktitle = {Second SIGPLAN Symposium on Principles and
Practice of Parallel Programming},
month = {February},
year = {1990},
pages = {187--196},
}
@mastersthesis{singh:thesis,
author= {P. Singh},
title = {Categorical Construction of Graphs},
school = {Department of Computer Science, Queen's University at Kingston},
month = {September},
year = {1993},
}
@phdthesis{sheffler:thesis,
author= {T.J. Sheffler},
title = {Match and Move, an Approach to Data Parallel Computing},
school = {Carnegie-Mellon},
month = {October},
year = {1992},
note = {Appears as Report CMU-CS-92-203},
}
@book{sr,
author = {G.R. Andrews and R.A. Olsson},
title = {The {SR} Programming Language},
publisher = {Benjamin/Cummings},
year = {1993},
}
@inproceedings{mccoll:leeds,
author = {W.F. McColl},
title = {Bulk Synchronous Parallel Computing},
booktitle = {Second Workshop on Abstract Models for Parallel
Computation},
publisher = {Oxford University Press},
year = {1993},
pages = {},
}
@inproceedings{sheffler:leeds,
author = {T.J. Sheffler},
title = {Writing Parallel Programs with {M}atch and {M}ove},
booktitle = {Second Workshop on Abstract Models for Parallel
Computation},
publisher = {Oxford University Press},
year = {1993},
pages = {},
}
@misc{pvm,
author = {A. Beguelin and J.J. Dongarra and G.A. Geist and
R. Manchek and V.S. Sunderam},
title = {PVM Software System and Documentation},
howpublished = {Email to {\tt netlib@ornl.gov}},
}
@incollection{italy:nato,
author = {D.B. Skillicorn},
title = {The {B}ird-{M}eertens {F}ormalism as a Parallel Model},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {120--133},
year = {1993},
}
@incollection{kowalik:neves,
author = {J.S. Kowalik and K.W. Neves},
title = {Software for Parallel Computing: Key Issues and
Research Directions},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {3--36},
year = {1993},
}
@incollection{carriero:nato,
author = {N. Carriero and D. Gelernter},
title = {Learning from Our Success},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {37--45},
year = {1993},
}
@incollection{perrott2,
author = {R.H. Perrott and A. Zarea-Aliabadi},
title = {Software Development for Parallel Processing},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {46--61},
year = {1993},
}
@incollection{gentzsch,
author = {U. Block and F. Ferstl and W. Gentzsch},
title = {Software Tools for Developing and Porting Parallel
Programs},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {62--75},
year = {1993},
}
@incollection{szymanski,
author = {B.K. Szymanski},
title = {Scalable Software Tools for Parallel Computations},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {76--90},
year = {1993},
}
@incollection{beguelin,
author = {A. Beguelin and J. Dongarra and A. Geist and R. Manchek
and K. Moore and V. Sunderam},
title = {{PVM} and {HeNCE}: Tools for Heterogeneous Network
Computing},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {},
year = {1993},
}
@incollection{levesque,
author = {J.M. Levesque},
title = {{FORGE90} and {H}igh {P}erformance {F}ortran (HPF)},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {111--119},
year = {1993},
}
@incollection{pancake:nato,
author = {C. Pancake},
title = {Graphical Support for Parallel Debugging},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {216--230},
year = {1993},
}
@incollection{jordan,
author = {H.F. Jordan and B. Rodriguez},
title = {Performance Prediction from Data Transport},
booktitle = {Software for Parallel Computation},
editor = {J.S. Kowalik and L. Grandinetti},
series = {NATO ASI Series F},
publisher = {Springer-Verlag},
volume = {106},
pages = {318--332},
year = {1993},
}
@incollection{sisal,
author = {S.K. Skedzielewski},
title = {Sisal},
booktitle = {Parallel Functional Languages and Compilers},
editor = {B.K. Szymanski},
publisher = {ACM Press Frontier Series},
year = {1991},
pages = {105--158},
}
@incollection{parafunctional,
author = {P. Hudak},
title = {Para-Functional Programming in {H}askell},
booktitle = {Parallel Functional Languages and Compilers},
editor = {B.K. Szymanski},
publisher = {ACM Press Frontier Series},
year = {1991},
pages = {159--196},
}
@incollection{crystal,
author = {M. Chen and Y.-I. Choo and J. Li},
title = {Crystal: Theory and Pragmatics of Generating
Efficient Parallel Code},
booktitle = {Parallel Functional Languages and Compilers},
editor = {B.K. Szymanski},
publisher = {ACM Press Frontier Series},
year = {1991},
pages = {255--308},
}
@incollection{epl,
author= {B.K. Szymanski},
title = {{EPL}--Parallel Programming with Recurrent Equations},
booktitle = {Parallel Functional Languages and Compilers},
editor = {B.K. Szymanski},
publisher = {ACM Press Frontier Series},
year = {1991},
pages = {51--104},
}
@inproceedings{sdl,
author= {G.-C. Roman and H.C. Cunningham and A. Ehlers},
title = {A Shared Dataspace Language Supporting Large-Scale
Concurrency},
booktitle = {Proceedings of the 8th International Conference
on Distributed Computing Systems},
month = {June},
year = {1988},
pages = {265--272},
}
@article{vienna,
author= {B. Chapman and P. Mehrotra and H. Zima},
title = {Programming in {V}ienna {F}ortran},
journal = {Scientific Programming},
volume = {1},
number = {1},
year = {1992},
pages = {31--50},
}
@inproceedings{parlog,
author= {K.L. Clark},
title = {A Declarative Environment for Concurrent Logic
Programming},
booktitle = {Proceedings of TAPSOFT},
series = {Springer Lecture Notes in Computer Science 250},
year = {1987},
pages = {212--242},
}
@article{shapiro,
author= {E. Shapiro},
title = {Concurrent {P}rolog: A Progress Report},
journal = {IEEE Computer},
volume = {19},
number = {8},
month = {August},
year = {1986},
pages = {44--58},
}
@inproceedings{saraswat,
author= {V.A. Saraswat and M. Rinard},
title = {Concurrent Constraint Programming},
booktitle = {Proceedings of the 17th Symposium on Principles
of Programming Languages},
year = {1990},
pages = {232--245},
}
@article{abcl1,
author= {A. Yonezawa and J. Briot and E. Shibayama},
title = {Object-Oriented Concurrent Programming in {ABCL/1}},
booktitle = {SIGPLAN Notices},
volume = {21},
number = {11},
year = {1986},
pages = {258--268},
}
@incollection{yokote,
author= {Y. Yokote and M. Tokoro},
title = {Concurrent Programming in {C}oncurrent {S}malltalk},
booktitle = {Object-Oriented Concurrent Programming},
publisher = {ACM Press},
year = {1987},
pages = {129--158},
}
@article{emerald,
author= {E. Jul and N. Levy and N. Hutchinson},
title = {Fine-Grained Mobility in the {E}merald System},
journal = {ACM Transactions on Computer Systems},
volume = {6},
number = {1},
year = {1988},
pages = {109--133},
}
@article{booster1,
author ={E.M. Paalvast and H.J. Sips and L.C. Breebaart},
title = {Booster: a high-level language for portable
parallel algorithms},
journal = {Applied numerical mathematics},
volume = {8},
number = {2},
year = {1991},
pages = {177},
}
@article{abcl12,
author = {A. Yonezawa},
title = {Parallel Processing Description in the Concurrent
Object-Oriented Language ABCL/1},
journal = {Systems and computers in Japan},
volume = {21},
number = {4},
year = {1990},
pages = {36},
}
@article{chien:oops,
author = {A.A. Chien},
title = {Concurrent Aggregates: Using Multiple-Access Data
Abstractions to Manage Complexity in Concurrent Programs},
journal = {OOPS Messenger},
volume = {2},
number = {2},
month = {April},
year = {1991},
pages = {31--36},
}
@article{steigerwald,
author = {R. Steigerwald and M. Nelson},
title = {Concurrent Programming in Smalltalk-80},
journal = {SIGPLAN notices},
volume = {25},
number = {8},
month = {August},
year = {1990},
pages = {27},
}
@article{hopkins:smalltalk,
author = {T.P. Hopkins},
title = {Writing Concurrent Object-Oriented Programs using
{S}malltalk-80},
journal = {The Computer Journal},
volume = {32},
number = {4},
month = {August},
year = {1989},
}
@article{hayes:emerald,
author = {R. Hayes and N.C. Hutchinson and R.D. Schlichting},
title = {Integrating Emerald into a system for mixed-language
programming},
journal = {Computer languages},
volume = {15},
number = {2},
year = {1990},
pages = {95--108},
}
@inproceedings{kahn:saraswat,
author = {K.M. Kahn and V.A. Saraswat},
title = {Actors as a Special Case of Concurrent Constraint (Logic)
Programming},
booktitle = {OOPSLA/ECOOP 90 Conference on Object-Oriented
Programming: Systems, Languages, and Applications},
editor = {N. Meyrowitz},
month = {October},
year = {1990},
pages = {57--66},
note = {Appears as SIGPLAN Notices, Vol.25, No.10},
}
@article{paalvast,
author = {E.M. Paalvast and A.J. van Gemund and H.J. Sips},
title = {A Method for Parallel Program Generation with an
Application to the Booster Language},
journal = {Computer architecture news},
volume = {18},
number = {3},
month = {September},
year = {1990},
}
@techreport{Dongarra92,
author = "Jack J. Dongarra and Rolf Hempel and Anthony J. G. Hey and
David W. Walker",
title = "A Proposal for a User-Level Message-Passing Interface in a
Distributed Memory Environment",
institution = "Oak {R}idge {N}ational {L}aboratory",
year=1992,
type = "Technical Report",
number = "{TM}-12231",
month = "October"
}
@techreport{parmacs1,
author = "R. Hempel",
title = "The {ANL/GMD} Macros ({PARMACS}) in {F}ortran for Portable
Parallel Programming Using the Message Passing Programming
Model -- {U}sers' {G}uide and {R}eference {M}anual",
institution = "{GMD}",
year = 1991,
type = "Technical Report",
address = "Postfach 1316, {D}-5205 {S}ankt {A}ugustin 1, {G}ermany",
month = "November"
}
@techreport{parmacs2,
author = "R. Hempel and H.-C. Hoppe and A. Supalov",
title = "{PARMACS}-6.0 Library Interface Specification",
institution = "{GMD}",
year = 1992,
type = "Technical Report",
address = "Postfach 1316, {D}-5205 {S}ankt {A}ugustin 1, {G}ermany",
month = "December"
}
@techreport{sisal:refmanual,
author= {iJ. McGraw and S. Skedzielewski and S. Allan and
R. Oldehoeft and J. Glauert and C. Kirkham and B. Noyce
and R. Thomas},
title = {Sisal: Streams and Iteration in a Single Assignment
Language: {R}eference Manual 1.2},
institution = {Lawrence Livermore National Laboratory},
number = {M-146,Rev.1},
month = {March},
year = {1985},
}
@inproceedings{sisal:survey,
author= {J.R. McGraw},
title = {Parallel Functional Programming in {S}isal: {F}ictions,
Facts, and Future},
booktitle = {submitted},
month = {},
year = {1993},
pages = {},
}
@misc{papachrysantou,
author= {G. Papachrysantou},
title = {Higher Level Forms for Parallel Computation in
Solid Modelling},
howpublished = {M.Sc Project Report, Department of Computing,
Imperial College of Science, Technology, and Medicine,
London},
month = {September},
year = {1992},
}
@misc{express,
title = {Express System},
key = {Express},
howpublished = {Info available by ftp from {\tt ftp.parasoft.com}},
}
@misc{arbeit:xx,
AUTHOR = "B. Arbeit and G. Campbell and R. Coppinger and R. Peierls and
D. Stampf",
TITLE = "The {ALMS} system: implementation and performance",
NOTE = "Brookhaven National Laboratory, Internal Report, (In preparation)"}
@INPROCEEDINGS{peierls:91,
AUTHOR = "Ronald Peierls and Graham Campbell",
TITLE = "{ALMS} - programming tools for coupling application
codes in a network environment",
BOOKTITLE = "Proceedings of the Heterogeneous Network-Based Concurrent
Computing Workshop",
YEAR = "1991",
ORGANIZATION = "Supercomputing Computations Research Institute, Florida
State University",
ADDRESS = "Tallahassee, FL",
MONTH = "October",
NOTE = "Proceedings available via anonymous ftp from
{\tt ftp.scri.fsu.edu} in directory
{\tt pub/parallel-workshop.91}"
}
@Article{li:chen:91a,
author = "Jinke Li and Marina Chen",
title = "The Data Alignment Phase in Compiling Programs for
Distributed Memory Machines",
journal = "J. of Parallel and Distributed Computing",
year = 1991,
volume = 13,
pages = "213--221"
}
@Article{li:chen:91b,
author = "Jinke Li and Marina Chen",
title = "Compiling Communication-Efficient Programs for
Massively Parallel Machines",
journal = "IEEE Transactions on Parallel and Distributed Systems",
year = 1991,
volume = 2,
number = 3,
pages = "361--376",
month = "July"
}
@InProceedings{lu:chen:90,
author = "Lee-Chung Lu and Marina C. Chen",
title = "Subdomain Dependence Test for Massive Parallelism",
booktitle = "Proceedings of the Supercomputing '90 Conference",
year = 1990,
publisher = "IEEE Computer Society Press",
address = "Los Alamitos, CA"
}
@InProceedings{yang:choo:91,
author = "Allan Yang and Young-il Choo",
title = "Parallel-Program Transformation Using a Metalanguage",
booktitle = "Proceedings of the Third ACM SIGPLAN
Symposium on Principles and
Practice of Parallel Programming",
year = 1991
}
@InProceedings{yang:choo:92a,
author = "Allan Yang and Young-il Choo",
title = "Formal Derivation of an Efficient Parallel Gauss-Seidel
Method on a Mesh of Processors",
booktitle = "Proceedings of the 6th International Parallel Processing
Symposium",
year = 1992,
publisher = "IEEE Computer Society Press",
month = "March"
}
@InProceedings{yang:choo:92b,
author = "Allan Yang and Young-il Choo",
title = "Metalinguistic Features for Formal Parallel-Program
Transformation",
booktitle = "Proceedings of the 4th IEEE International Conference on
Computer Languages",
year = 1992,
publisher = "IEEE Computer Society Press",
month = "April"
}
@techreport{turcotte,
author= {L.H.Turcotte},
title = {A Survey of Software Environments for Exploiting
Networked Computing Resources},
institution = {Mississippi State University},
month = {June},
year = {1993},
}
@techreport{perrott,
author= {P. Crooks and R.H. Perrott},
title = {Language Constructs for Data Partitioning and Distribution},
institution = {Department of Computer Science, Queen's University
of Belfast},
year = {1993},
}
@article{andrews:sr,
author= {G.R. Andrews and R.A. Olsson and M.A. Coffin and I. Elshoff
and K. Nilsen and T. Purdin and G. Townsend},
title = {An Overview of the {SR} Language and Implementation},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {10},
number = {1},
month = {January},
year = {1988},
pages = {51--86},
}
@article{flower,
author= {J. Flower and A. Kolawa and S. Bharadwaj},
title = {The {E}xpress Way to Distributed Processing},
journal = {Supercomputing Review},
month = {May},
year = {1991},
pages = {54--55},
}
@inproceedings{bratvold,
author = {T.A. Bratvold},
title = {Determining Useful Parallelism in Higher Order Functions},
booktitle = {Fourth International Workshop on the Parallel
Implementation of Functional Languages},
month = {September},
year = {1992},
place = {Aachen},
pages = {},
}
@techreport{gibbons:cai,
author = {J. Gibbons and W. Cai and
D.B. Skillicorn},
title = {Efficient Parallel Algorithms
for Tree Algorithms},
institution = {Department of Computer Science,
University of Auckland},
number = {70},
month = {March},
year = {1993},
}
@book{peytonjones:book,
AUTHOR = {S. Peyton-Jones},
TITLE = {Implementation of Functional Programming Languages},
publisher = {Prentice-Hall},
YEAR = {1987},
}
@article{macleod:path,
author = {I.A. Macleod},
title = {Path Expressions as Selectors for
Non-Linear Text},
journal = {submitted},
volume = {},
month = {},
year = {1993},
pages = {},
}
@article{eatcs,
author = {D.T. Barnard and J.P. Schmeiser and D.B. Skillicorn},
title = {Deriving Associative Operators for Language Recognition},
journal = {Bulletin of the {EATCS}},
volume = {43},
month = {February},
year = {1991},
pages = {131--139},
}