Now showing items 1-2 of 2

    • Space cost analysis using sized types 

      Vasconcelos, Pedro B. (University of St Andrews, 2008-11) - Thesis
      Programming resource-sensitive systems, such as real-time embedded systems, requires guaranteeing both the functional correctness of computations and also that time and space usage fits within constraints imposed by hardware ...
    • Structured arrows : a type-based framework for structured parallelism 

      Castro, David (University of St Andrews, 2018-06-27) - Thesis
      This thesis deals with the important problem of parallelising sequential code. Despite the importance of parallelism in modern computing, writing parallel software still relies on many low-level and often error-prone ...