Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. In Frank Mueller, editor, 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany. Volume 06902 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
@inproceedings{HammondFHDHJLMPSSW06,
title = {Towards Formally Verifiable WCET Analysis for a Functional Programming Language},
author = {Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert F. Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/677},
tags = {programming languages, program analysis, functional programming, analysis, programming},
researchr = {https://researchr.org/publication/HammondFHDHJLMPSSW06},
cites = {0},
citedby = {0},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany},
editor = {Frank Mueller},
volume = {06902},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}