Author:
Burgstaller Bernd,Scholz Bernhard,Blieberger Johann
Subject
Hardware and Architecture,Information Systems,Software
Reference60 articles.
1. Automatic recognition of induction variables and recurrence relations by abstract interpretation;Ammarguellat;SIGPLAN Notices,1990
2. Term Rewriting and All That;Baader,1998
3. Chains of recurrences—a method to expedite the evaluation of closed-form functions;Bachmann,1994
4. Bakar Kiasan: flexible contract checking for critical systems using symbolic execution;Belt,2011
5. Discrete loops and worst case performance;Blieberger;Computer Languages,1994
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Persisting and Reusing Results of Static Program Analyses on a Large Scale;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. SAND: a static analysis approach for detecting SQL antipatterns;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11
3. Deadlock and WCET analysis of barrier-synchronized concurrent programs;Computing;2017-05-08
4. A Program Interpreter Framework for Arbitrary Abstractions;2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM);2016-10
5. Kronecker Algebra for Static Analysis of Barriers in Ada;Lecture Notes in Computer Science;2016