Code analysis for temporal predictability

DOI10.1007/s11241-005-4683-4zbMath1103.68454OpenAlexW2033067057MaRDI QIDQ853616

Peter Puschner, Jan Gustafsson, Raimund Kirner, Björn Lisper

Publication date: 17 November 2006

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2299/10733

zbMATH Keywords

code transformationabstract interpretationgraph transformationcompiler optimizationsreal-time languagesworst-case execution time analysis

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• Annotated bibliography on partial evaluation and mixed computation
• A tour of tempo: a program specializer for the C language
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Code analysis for temporal predictability