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