Searching for "Towards Formally Verifiable WCET Analysis for a Functional Programming Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Towards Formally Verifiable WCET Analysis for a Functional Programming Language
by Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Reinhold Heckmann Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Serot, Andy Wallace — Proceedings of the 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, Dagstuhl
…Towards Formally Verifiable WCET Analysis for a Functional Programming Language Kevin Hammond…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB