Search results for:
Papers have been found in the following subject areas. You may find browsing through these archives useful:
Webmaster, Department of Computer Science, QMW, London University
Keith Clarke "One Pass Code Generation Using Continuations" ,Technical report QMW-DCS-1988-468, Queen Mary College, Department of Computer Science, September 1988. bibtex, abstract
Keywords: Continuations, code generation, boolean expressions, jumpin code, logically adjacent code.
Keith Clarke "The Top-Down Parsing of Expressions" ,Technical report QMW-DCS-1986-383, Queen Mary College, Department of Computer Science, June 1986. bibtex, abstract
Keywords: Recursive-descent parsing, expression parsing, operator precedence parsing.
Jonathan M.D. Hill, Keith M. Clarke, and Richard Bornat "The vectorisation monad."
In Hoon Hong, editor, PASCO'94: First International Symposium on Parallel Symbolic Computation, pages 204--214, World Scientific Publishing Company, Hagenberg/Linz, Austria, Sept 1994. bibtex, html abstract, 82.7 kbytes postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskell.
Jonathan M. D. Hill, and Keith Clarke "An introduction to category theory, category theory monads, and their relationship to functional programming" ,Technical report QMW-DCS-681, Department of Computer Science, Queen Mary & Westfield College, Aug 1994. bibtex, html abstract, 59.1 kbytes postscript paper
Keywords: Monads; Category theory; Kleisli triple; Imperative functional programming
Jonathan M.D. Hill, and Keith Clarke "Parallel Haskell: The vectorisation monad" ,Technical report 658, QMW CS, Dec 1993. bibtex, html abstract, 137.9 kbytes postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskell
Jonathan M. D. Hill, Keith M. Clarke, and Richard Bornat "Vectorising a non-strict data-parallel functional language" ,Technical report QMW-DCS-1995-700, Queen Mary and Westfield College, Department of Computer Science, Mile End Road, London E1 4NS, May 1995. bibtex, html abstract, postscript paper
Keywords: program transformation, lambda calculus, parallelisation
Jonathan M. D. Hill, Keith M. Clarke, and Richard Bornat "Parallelizing Imperative Functional Programs: the Vectorization Monad"
Journal of Symbolic Computation , 21:561--576, 1996. bibtex, html abstract, postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskel
Jonathan M.D. Hill, and Keith Clarke "Parallel Haskell: The vectorisation monad" ,Technical report 658, QMW CS, Dec 1993. bibtex, html abstract, 137.9 kbytes postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskell
Jonathan M. D. Hill, Keith M. Clarke, and Richard Bornat "Vectorising a non-strict data-parallel functional language" ,Technical report QMW-DCS-1995-700, Queen Mary and Westfield College, Department of Computer Science, Mile End Road, London E1 4NS, May 1995. bibtex, html abstract, postscript paper
Keywords: program transformation, lambda calculus, parallelisation
Jonathan M. D. Hill, Keith M. Clarke, and Richard Bornat "Parallelizing Imperative Functional Programs: the Vectorization Monad"
Journal of Symbolic Computation , 21:561--576, 1996. bibtex, html abstract, postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskel
Keith Clarke "Reasoning about Co-routines" ,Technical report QMW-DCS-1988-467, Queen Mary College, Department of Computer Science, September 1988. bibtex, abstract
Keywords: Coroutines, Iterators, Verification.
Keith Clarke "Making Denotational Semantics Less Abstract" ,Technical report QMW-DCS-1991-574, Queen Mary College, Department of Computer Science, December 1991. bibtex, abstract
Keywords: Compiler-Compilers, Standard ML, Functional Programming.
Jonathan M.D. Hill, and Keith Clarke "Parallel Haskell: The vectorisation monad" ,Technical report 658, QMW CS, Dec 1993. bibtex, html abstract, 137.9 kbytes postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskell
Jonathan M. D. Hill, Keith M. Clarke, and Richard Bornat "Vectorising a non-strict data-parallel functional language" ,Technical report QMW-DCS-1995-700, Queen Mary and Westfield College, Department of Computer Science, Mile End Road, London E1 4NS, May 1995. bibtex, html abstract, postscript paper
Keywords: program transformation, lambda calculus, parallelisation
Jonathan M. D. Hill, Keith M. Clarke, and Richard Bornat "Parallelizing Imperative Functional Programs: the Vectorization Monad"
Journal of Symbolic Computation , 21:561--576, 1996. bibtex, html abstract, postscript paper
Keywords: Data parallelism; monads; vectorisation; Bird-Meertens formalism; program transformation; category theory; imperative functional programming; non-strict semantics; Haskel
Matched 15 items out of 8072 entries searched