ILPc: A novel approach for scalable timing analysis of synchronous programs.

Jia Jie Wang Partha S. Roop Sidharta Andalam

Published in: CASES (2013)

Keyphrases

web scale
decision making
answer sets
computer programs
programming environment
database
similarity measure
data streams
single pass
fixpoint
parameter free
control flow
control structures
provably correct