Skip to content

Research at St Andrews

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

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

Author(s)

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace

School/Research organisations

Details

Original languageEnglish
Title of host publication6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
EditorsFrank Mueller
Publisher Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
ISBN (Print)978-3-939897-03-3
DOIs
Publication statusPublished - 2006
Event6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) - Dresden, Germany
Duration: 4 Jul 2006 → …

Publication series

NameOASIcs: OpenAccess Series in Informatics
Volume4
ISSN (Print)2190-6807

Conference

Conference6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
CountryGermany
CityDresden
Period4/07/06 → …

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

View graph of relations

Related by author

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

    Dyckhoff, R., Dec 2018, In : Journal of Symbolic Logic. 83, 4, p. 1680-1682 3 p.

    Research output: Contribution to journalArticle

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

  4. Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

ID: 110638936