MRG-Mobile Resource Guarantees

Project Details

StatusFinished
Effective start/end date1/01/0231/12/04

Funding

  • EU government bodies: £444,732.00
  • Prediction of linear memory usage for first-order functional programs

    Campbell, B., 2008, Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008.. p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Mobile Resource Guarantees and Policies

    Aspinall, D. & MacKenzie, K., 2006, Mobile Resource Guarantees and Policies: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices. Barthe, G., Grégoire, B., Huisman, M. & Lanet, J-L. (eds.). Springer Berlin Heidelberg, p. 16-36 21 p. (Lecture Notes in Computer Science; vol. 3956).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File