Using invariant functions and invariant relations to compute loop functions

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
Pages317-318
Number of pages2
DOIs
StatePublished - Jul 23 2010
Event32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 - Cape Town, South Africa
Duration: May 1 2010May 8 2010

Publication series

NameProceedings - International Conference on Software Engineering
Volume2
ISSN (Print)0270-5257

Other

Other32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
Country/TerritorySouth Africa
CityCape Town
Period5/1/105/8/10

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • loop semantic
  • program analysis
  • while loop

Fingerprint

Dive into the research topics of 'Using invariant functions and invariant relations to compute loop functions'. Together they form a unique fingerprint.

Cite this