DocumentCode
2077434
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
Volume
2
fYear
2010
fDate
2-8 May 2010
Firstpage
317
Lastpage
318
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location
Cape Town
ISSN
0270-5257
Print_ISBN
978-1-60558-719-6
Type
conf
DOI
10.1145/1810295.1810369
Filename
6062193
Link To Document