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

Ali Mili; Jules Desharnais; Jean Raymond Gagné

doi:10.1007/BF00290145

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

Ali Mili, Jules Desharnais, Jean Raymond Gagné

Research output: Contribution to journal › Article › peer-review

18 Scopus citations

Abstract

Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.

Original language	English (US)
Pages (from-to)	47-66
Number of pages	20
Journal	Acta Informatica
Volume	22
Issue number	1
DOIs	https://doi.org/10.1007/BF00290145
State	Published - Apr 1985
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software
Information Systems
Computer Networks and Communications

Access to Document

10.1007/BF00290145

Cite this

@article{3137e60a3b7b4d89affd100598ff120a,

title = "Strongest invariant functions: Their use in the systematic analysis of while statements",

abstract = "Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.",

author = "Ali Mili and Jules Desharnais and Gagn{\'e}, {Jean Raymond}",

year = "1985",

month = apr,

doi = "10.1007/BF00290145",

language = "English (US)",

volume = "22",

pages = "47--66",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

T1 - Strongest invariant functions

T2 - Their use in the systematic analysis of while statements

AU - Mili, Ali

AU - Desharnais, Jules

AU - Gagné, Jean Raymond

PY - 1985/4

Y1 - 1985/4

N2 - Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.

AB - Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.

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

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

U2 - 10.1007/BF00290145

DO - 10.1007/BF00290145

M3 - Article

AN - SCOPUS:0022043658

SN - 0001-5903

VL - 22

SP - 47

EP - 66

JO - Acta Informatica

JF - Acta Informatica

IS - 1

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this