Deriving parallel programs from specifications using cost information

This publication has 11 references indexed in Scilit:

• Context-free parsing on O(n) processors
  Computer Languages, 1992
• A systematic design of a parallel program for dirichlet convolution
  Science of Computer Programming, 1990
• Architecture-independent parallel computation
  Computer, 1990
• A complexity theory of efficient parallel algorithms
  Theoretical Computer Science, 1990
• Formal derivation of a pattern matching algorithm
  Science of Computer Programming, 1989
• Algebraic Identities for Program Calculation
  The Computer Journal, 1989
• Optimally universal parallel computers
  Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1988
• Mechanical analysis of program complexity
  Published by Association for Computing Machinery (ACM) ,1985
• Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories
  Acta Informatica, 1984
• The Parallel Evaluation of General Arithmetic Expressions
  Journal of the ACM, 1974