Towards an automated tool for computing loop functions

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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publication2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010
PublisherIEEE Computer Society
ISBN (Print)9781424477159
DOIs
StatePublished - 2010
Event2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010 - Hammamet, Tunisia
Duration: May 16 2010May 19 2010

Publication series

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

Other

Other2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010
Country/TerritoryTunisia
CityHammamet
Period5/16/105/19/10

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Towards an automated tool for computing loop functions'. Together they form a unique fingerprint.

Cite this