Deriving annotations for tight calculation of execution time

This publication has 10 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• On the false path problem in hard real-time programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An accurate worst case timing analysis for RISC processors
  IEEE Transactions on Software Engineering, 1995
• A retargetable technique for predicting execution time of code segments
  Real-Time Systems, 1994
• Static worst-case timing analysis of Ada
  ACM SIGAda Ada Letters, 1994
• Abstract debugging of higher-order imperative languages
  ACM SIGPLAN Notices, 1993
• Predicting program execution times by analyzing static and dynamic program paths
  Real-Time Systems, 1993
• Experiments with a program timing tool based on source-level timing schema
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977