Resource Static Analysis

Filter
Conference contribution

Search results

  • 2010

    Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

    Aspinall, D., Atkey, R., MacKenzie, K. & Sannella, D., 2010, Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Wirsing, M., Hofmann, M. & Rauschmayer, A. (eds.). Springer-Verlag GmbH, p. 1-22 22 p. (Lecture Notes in Computer Science; vol. 6084).

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

    Open Access
    File
  • 2009

    Algebras for Parameterised Monads

    Atkey, R., 2009, Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Springer Berlin Heidelberg, p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 5728).

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

  • Syntax for Free: Representing Syntax with Binding Using Parametricity

    Atkey, R., 2009, Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Springer Berlin Heidelberg, p. 35-49 15 p. (Lecture Notes in Computer Science; vol. 5608).

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