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

Ali Mili, Jules Desharnais, Jean Raymond Gagné

Research output: Contribution to journalArticlepeer-review

17 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 languageEnglish (US)
Pages (from-to)47-66
Number of pages20
JournalActa Informatica
Volume22
Issue number1
DOIs
StatePublished - Apr 1 1985
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Networks and Communications

Cite this