"The Programming Language wcetC";
Static worst-case execution time analysis of programs requires the knowledge of runtime information that is not a priori defined by the sum of all functional program statements. This information depends on the dynamic assignment of input variables. The runtime behaviour can be modeled when having some knowledge about the dynamic assignments of input variables. The presented programming language wcetC allows to express this information directly inside the source code. This enables the calculation of tight WCET bounds by processing this information directly by the compiler.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.