Now showing items 1-2 of 2

  • Formulas as programs 

    Burrows, Eva (2003)
    Alma-0 is a programming language supporting declarative programming, which combines the advantages of imperative and logic programming paradigms. This work explores declarative programming by extending the interpretation ...
    Master thesis
  • Programming with Explicit Dependencies. A Framework for Portable Parallel Programming 

    Burrows, Eva (2011-05-23)
    Computational devices are rapidly evolving into massively parallel systems. Multicore processors are already standard; high performance processors such as the Cell/BE processor, graphics processing units (GPUs) ...
    Doctoral thesis