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