Skip to content

Research at St Andrews

The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,

Research output: Contribution to conferencePaper

Author(s)

Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Jocelyn Serot, Andy Wallace

School/Research organisations

Details

Original languageEnglish
StatePublished - Sep 2005

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Towards Formally Verifiable WCET Analysis for a Functional Programming Language

    Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofman, M., Jost, S., Loidl, H-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J. & Wallace, A. 2006 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). Mueller, F. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (OASIcs: OpenAccess Series in Informatics; vol. 4)

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

  2. Indefinite proof and inversions of syllogisms

    Dyckhoff, R. 14 Jul 2018 (Accepted/In press) In : Bulletin of Symbolic Logic. 13 p.

    Research output: Contribution to journalArticle

  3. Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R. 18 May 2018 (Accepted/In press) In : Journal of Symbolic Logic. 3 p.

    Research output: Contribution to journalArticle

  4. Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Contribution to journalArticle

  5. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

ID: 371557