• Formulas as programs 

      Burrows, Eva (Master thesis, 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 ...
    • Programming with Explicit Dependencies. A Framework for Portable Parallel Programming 

      Burrows, Eva (Doctoral thesis, 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) ...