Using invariant functions and invariant relations to compute loop functions

Authors:
Lamia Labed Jilani;Olfa Mraihi;Asma Louhichi;Wided Ghardallou;Ali Mili
Affiliations:
Institute of Management, Bardo, Tunisia;ISG Tunis, Institute of Management, Bardo, Tunisia;Inst. of Inf. and Multimedia, Ariana, Tunisia;Campus EL Manar Tunisia;NJIT, Newark NJ
Venue:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Year:
2010

Citing 4
Cited 0

Strongest invariant functions: their use in the systematic analysis of while statements

Acta Informatica
The new math of computer programming

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming

Quantified Score

Hi-index	0.00

Visualization

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.