Author:
Mraihi Olfa,Louhichi Asma,Jilani Lamia Labed,Desharnais Jules,Mili Ali
Reference64 articles.
1. J. Berdine, A. Chawdhary, B. Cook, D. Distefano, P. O’Hearn, Variance analyses from invariance analyses, in: Proceedings of the 34th Annual Symposium on Principles of Programming Languages, Nice, France, 2007.
2. Algebra of Programming;Bird,1997
3. A. Blikle, A. Mazurkiewicz, An algebraic approach to the theory of algorithms, languages and recursiveness, in: Proceedings, First Conference on Mathematical Foundations of Computer Science, Jablona, Poland, 1972.
4. The lattice of specifications: applications to a specification methodology;Boudriga;Formal Aspects of Computing,1992
5. A.R. Bradley, Z. Manna, H.B. Sipma, Termination analysis of integer linear loops, in: CONCUR, 2005, pp. 488–502.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Invariant relations for affine loops;Acta Informatica;2024-05-13
2. Provably Correct Software: Don't Leave Earth Without It;AIAA SCITECH 2023 Forum;2023-01-19
3. Computing program functions;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
4. Loop Verification with Invariants and Contracts;Lecture Notes in Computer Science;2022
5. Invarint Relations for Affine Loops;SSRN Electronic Journal;2022