Towards an automated tool for computing loop functions

Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Ali Mili

doi:10.1109/AICCSA.2010.5586943

Towards an automated tool for computing loop functions

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Despite several decades of on-and-off research efforts, the functional analysis of computer programs to an arbitrary level of thoroughness and precision remains an unfulfilled challenge. Also, despite several decades of advances in programming language design and implementation, most of the software that is written and maintained today is written in traditional imperative programs; in such programs, the most critical/ most complex control structure is the loop. In this paper, we discuss our ongoing effort to develop a tool that reviews a while loop written in an imperative language (C, C++, Java) and derives its function, by specifying the final values of all its program variables as a function of its initial values.

Original language	English (US)
Title of host publication	2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010
Publisher	IEEE Computer Society
ISBN (Print)	9781424477159
DOIs	https://doi.org/10.1109/AICCSA.2010.5586943
State	Published - 2010
Event	2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010 - Hammamet, Tunisia Duration: May 16 2010 → May 19 2010

Publication series

Name	2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010

Other

Other	2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010
Country/Territory	Tunisia
City	Hammamet
Period	5/16/10 → 5/19/10

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Computer Science Applications

Access to Document

10.1109/AICCSA.2010.5586943

Cite this

Jilani, L. L., Mraihi, O., Louhichi, A., & Mili, A. (2010). Towards an automated tool for computing loop functions. In 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010 Article 5586943 (2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010). IEEE Computer Society. https://doi.org/10.1109/AICCSA.2010.5586943

@inproceedings{c267bcc4532a4815ab73be44c4560b06,

title = "Towards an automated tool for computing loop functions",

abstract = "Despite several decades of on-and-off research efforts, the functional analysis of computer programs to an arbitrary level of thoroughness and precision remains an unfulfilled challenge. Also, despite several decades of advances in programming language design and implementation, most of the software that is written and maintained today is written in traditional imperative programs; in such programs, the most critical/ most complex control structure is the loop. In this paper, we discuss our ongoing effort to develop a tool that reviews a while loop written in an imperative language (C, C++, Java) and derives its function, by specifying the final values of all its program variables as a function of its initial values.",

author = "Jilani, {Lamia Labed} and Olfa Mraihi and Asma Louhichi and Ali Mili",

year = "2010",

doi = "10.1109/AICCSA.2010.5586943",

language = "English (US)",

isbn = "9781424477159",

series = "2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010",

publisher = "IEEE Computer Society",

booktitle = "2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010",

address = "United States",

note = "2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010 ; Conference date: 16-05-2010 Through 19-05-2010",

}

Jilani, LL, Mraihi, O, Louhichi, A & Mili, A 2010, Towards an automated tool for computing loop functions. in 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010., 5586943, 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, IEEE Computer Society, 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, 5/16/10. https://doi.org/10.1109/AICCSA.2010.5586943

Towards an automated tool for computing loop functions. / Jilani, Lamia Labed; Mraihi, Olfa; Louhichi, Asma et al.
2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010. IEEE Computer Society, 2010. 5586943 (2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards an automated tool for computing loop functions

AU - Jilani, Lamia Labed

AU - Mraihi, Olfa

AU - Louhichi, Asma

AU - Mili, Ali

PY - 2010

Y1 - 2010

N2 - Despite several decades of on-and-off research efforts, the functional analysis of computer programs to an arbitrary level of thoroughness and precision remains an unfulfilled challenge. Also, despite several decades of advances in programming language design and implementation, most of the software that is written and maintained today is written in traditional imperative programs; in such programs, the most critical/ most complex control structure is the loop. In this paper, we discuss our ongoing effort to develop a tool that reviews a while loop written in an imperative language (C, C++, Java) and derives its function, by specifying the final values of all its program variables as a function of its initial values.

AB - Despite several decades of on-and-off research efforts, the functional analysis of computer programs to an arbitrary level of thoroughness and precision remains an unfulfilled challenge. Also, despite several decades of advances in programming language design and implementation, most of the software that is written and maintained today is written in traditional imperative programs; in such programs, the most critical/ most complex control structure is the loop. In this paper, we discuss our ongoing effort to develop a tool that reviews a while loop written in an imperative language (C, C++, Java) and derives its function, by specifying the final values of all its program variables as a function of its initial values.

UR - http://www.scopus.com/inward/record.url?scp=78049476761&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78049476761&partnerID=8YFLogxK

U2 - 10.1109/AICCSA.2010.5586943

DO - 10.1109/AICCSA.2010.5586943

M3 - Conference contribution

AN - SCOPUS:78049476761

SN - 9781424477159

T3 - 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010

BT - 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010

PB - IEEE Computer Society

T2 - 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010

Y2 - 16 May 2010 through 19 May 2010

ER -

Towards an automated tool for computing loop functions

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this