Using invariant functions and invariant relations to compute loop functions

Authors

Lamia Labed Jilani, High Institute of Management
Olfa Mraihi, Institut Supérieur de Gestion de Tunis
Asma Louhichi, Inst. of Inf. and Multimedia
Wided Ghardallou, Faculty of Science
Ali Mili, New Jersey Institute of Technology

Document Type

Conference Proceeding

Publication Date

7-23-2010

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. © 2010 ACM.

Identifier

77954695239 (Scopus)

ISBN

[9781605587196]

Publication Title

Proceedings International Conference on Software Engineering

External Full Text Location

https://doi.org/10.1145/1810295.1810369

ISSN

02705257

First Page

317

Last Page

318

Volume

2

Recommended Citation

Labed Jilani, Lamia; Mraihi, Olfa; Louhichi, Asma; Ghardallou, Wided; and Mili, Ali, "Using invariant functions and invariant relations to compute loop functions" (2010). Faculty Publications. 6195.
https://digitalcommons.njit.edu/fac_pubs/6195