Now showing items 1-2 of 2

  • Kindergarten Cop : dynamic nursery resizing for GHC 

    Ferreiro, Henrique; Castro, Laura; Janjic, Vladimir; Hammond, Kevin (ACM Press - Association for Computing Machinery, 2016-03-17) - Conference item
    Generational garbage collectors are among the most popular garbage collectors used in programming language runtime systems. Their performance is known to depend heavily on choosing the appropriate size of the area where ...
  • 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 ...