Principles for Value Annotation Languages

Björn Lisper. Principles for Value Annotation Languages. In Heiko Falk, editor, 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany. Volume 39 of OASICS, pages 1-10, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]