Using invariant functions and invariant relations to compute loop functions

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

doi:10.1145/1810295.1810369

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 proceeding › Conference 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 language	English (US)
Title of host publication	ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
Pages	317-318
Number of pages	2
DOIs	https://doi.org/10.1145/1810295.1810369
State	Published - 2010
Event	32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 - Cape Town, South Africa Duration: May 1 2010 → May 8 2010

Publication series

Name	Proceedings - International Conference on Software Engineering
Volume	2
ISSN (Print)	0270-5257

Other

Other	32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
Country/Territory	South Africa
City	Cape Town
Period	5/1/10 → 5/8/10

All Science Journal Classification (ASJC) codes

Software

Keywords

loop semantic
program analysis
while loop

Access to Document

10.1145/1810295.1810369

Cite this

Labed Jilani, L., Mraihi, O., Louhichi, A., Ghardallou, W., & Mili, A. (2010). Using invariant functions and invariant relations to compute loop functions. In ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (pp. 317-318). (Proceedings - International Conference on Software Engineering; Vol. 2). https://doi.org/10.1145/1810295.1810369

@inproceedings{724e553facd2463f88e3bb7d0e4e4d79,

title = "Using invariant functions and invariant relations to compute loop functions",

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 = "loop semantic, program analysis, while loop",

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

year = "2010",

doi = "10.1145/1810295.1810369",

language = "English (US)",

isbn = "9781605587196",

series = "Proceedings - International Conference on Software Engineering",

pages = "317--318",

booktitle = "ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering",

note = "32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 ; Conference date: 01-05-2010 Through 08-05-2010",

}

Labed Jilani, L, Mraihi, O, Louhichi, A, Ghardallou, W & Mili, A 2010, Using invariant functions and invariant relations to compute loop functions. in ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. Proceedings - International Conference on Software Engineering, vol. 2, pp. 317-318, 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South Africa, 5/1/10. https://doi.org/10.1145/1810295.1810369

Using invariant functions and invariant relations to compute loop functions. / Labed Jilani, Lamia; Mraihi, Olfa; Louhichi, Asma et al.
ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. 2010. p. 317-318 (Proceedings - International Conference on Software Engineering; Vol. 2).

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

TY - GEN

T1 - Using invariant functions and invariant relations to compute loop functions

AU - Labed Jilani, Lamia

AU - Mraihi, Olfa

AU - Louhichi, Asma

AU - Ghardallou, Wided

AU - Mili, Ali

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - loop semantic

KW - program analysis

KW - while loop

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

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

U2 - 10.1145/1810295.1810369

DO - 10.1145/1810295.1810369

M3 - Conference contribution

AN - SCOPUS:77954695239

SN - 9781605587196

T3 - Proceedings - International Conference on Software Engineering

SP - 317

EP - 318

BT - ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering

T2 - 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010

Y2 - 1 May 2010 through 8 May 2010

ER -

Using invariant functions and invariant relations to compute loop functions

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this