Author of the publication

The Embounded project (project start paper).

, , , , , , , , , , , and . Trends in Functional Programming, volume 6 of Trends in Functional Programming, page 195-210. Intellect, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Proof-Carrying-Code Infrastructure for Resources., , , and . LADC, page 127-134. IEEE Computer Society, (2009)Towards Hume SIMD vectorisation., , , , , and . EUSIPCO, page 2683-2687. IEEE, (2009)Automatic amortised analysis of dynamic memory allocation for lazy functional programs., , , , and . ICFP, page 165-176. ACM, (2012)Automated amortised analysis.. Ludwig Maximilians University Munich, (2010)Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages., , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 787-811. Springer, (2015)Static prediction of heap space usage for first-order functional programs., and . POPL, page 185-197. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.Type-Based Amortised Heap-Space Analysis., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 22-37. Springer, (2006)Improvements to a Resource Analysis for Hume., and . FOPARA, volume 6324 of Lecture Notes in Computer Science, page 18-33. Springer, (2009)Decidable Inequalities over Infinite Trees., , and . LPAR, volume 57 of EPiC Series in Computing, page 111-130. EasyChair, (2018)Automatic Amortised Worst-Case Execution Time Analysis., , , , , and . WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)