Author:
Ballabriga Clément,Forget Julien,Gonnord Laure,Lipari Giuseppe,Ruiz Jordy
Publisher
Springer International Publishing
Reference30 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2006)
2. Ammarguellat, Z., Harrison, III, W.L.: Automatic recognition of induction variables and recurrence relations by abstract interpretation. In: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, PLDI 1990, pp. 283–295. ACM, New York (1990)
3. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1), 3–21 (2008)
4. Lecture Notes in Computer Science;G Balakrishnan,2004
5. Lecture Notes in Computer Science;C Ballabriga,2010
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parametric WCET as a function of procedure arguments: Analysis and applications;Journal of Systems Architecture;2024-03
2. WCET analysis with procedure arguments as parameters;The 31st International Conference on Real-Time Networks and Systems;2023-06-07
3. Improving CRPD analysis for EDF scheduling;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
4. Relational abstract interpretation of arrays in assembly code;Formal Methods in System Design;2021-12
5. Compositional Information Flow Analysis for WebAssembly Programs;2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM);2020-09