Abstract In this paper, we study the current $$T \wedge \text {{dd}}^{c}\psi $$ T ∧ dd c ψ for positive currents T and semi-exhaustive, not necessarily plurisubharmonic, functions $$\psi . T...

Statically estimating the worst case execution time (WCET) of a program is important for real-time software. This is difficult even in the programming language level due to the inherent difficulty in detecting and exploiting infeasible paths in a program’s control flow graph. In this paper, we propose an efficient method to exploit infeasible path information for WCET estimation of a loop witho...