Now showing items 1-1 of 1

    • 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 ...