Title :
Using invariant functions and invariant relations to compute loop functions
Author :
Jilani, Lamia Labed ; Mraihi, Olfa ; Louhichi, Asma ; Ghardallou, Wided ; Mili, Ali
Author_Institution :
Inst. of Manage., Bardo, Tunisia
Abstract :
In this short paper we discuss the design, implementation and operation of an automated tool that computes the function of while loops written in C-like programming languages.
Keywords :
high level languages; program control structures; program diagnostics; software tools; C-like programming languages; automated tool design; automated tool implementation; invariant function; invariant relation; loop function computation; Computer languages; Equations; Function approximation; Lattices; Programming; Semantics; loop semantic; program analysis; while loop;
Conference_Titel :
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-1-60558-719-6
DOI :
10.1145/1810295.1810369
