Author:
Labed Jilani Lamia,Louhichi Asma,Mraihi Olfa,Mili Ali
Publisher
Springer Science and Business Media LLC
Reference41 articles.
1. Banerjee U (1993) Loop transformations for restructuring compilers. Kluwer Academic Publishers, Boston, MA
2. Basu SK, Misra JD (1975) Proving loop programs. IEEE Trans Softw Eng 1(1): 76–86
3. Boudriga N, Elloumi F, Mili A (1992) The lattice of specifications: applications to a specification methodology. Form Asp Comput 4: 544–571
4. Carbonnell ER, Kapur D (2004) Program verification using automatic generation of invariants. In: Proceedings of the international conference on theoretical aspects of computing 2004, Lecture Notes in Computer Science, vol 3407. Springer Verlag, pp 325–340
5. Carette J, Janicki R (2007) Computing properties of numeric iterative programs by symbolic computation. Fundamentae Informatica 80(1–3): 125–146
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Invariant relations for affine loops;Acta Informatica;2024-05-13
2. Computing program functions;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
3. Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12