'A la Floyd' induction principles for proving inevitability properties of programs

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationAlgebraic methods in semantics
EditorsM. Nivat, J. Reynolds
PublisherCambridge University Press
Pages277-312
StatePublished - 1985

Cite this

Cousot, P., & Cousot, R. (1985). 'A la Floyd' induction principles for proving inevitability properties of programs. In M. Nivat, & J. Reynolds (Eds.), Algebraic methods in semantics (pp. 277-312). [Chapter 8] Cambridge University Press.

'A la Floyd' induction principles for proving inevitability properties of programs. / Cousot, Patrick; Cousot, Radhia.

Algebraic methods in semantics. ed. / M. Nivat; J. Reynolds. Cambridge University Press, 1985. p. 277-312 Chapter 8.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Cousot, P & Cousot, R 1985, 'A la Floyd' induction principles for proving inevitability properties of programs. in M Nivat & J Reynolds (eds), Algebraic methods in semantics., Chapter 8, Cambridge University Press, pp. 277-312.
Cousot P, Cousot R. 'A la Floyd' induction principles for proving inevitability properties of programs. In Nivat M, Reynolds J, editors, Algebraic methods in semantics. Cambridge University Press. 1985. p. 277-312. Chapter 8
Cousot, Patrick ; Cousot, Radhia. / 'A la Floyd' induction principles for proving inevitability properties of programs. Algebraic methods in semantics. editor / M. Nivat ; J. Reynolds. Cambridge University Press, 1985. pp. 277-312
@inbook{fad87438ec764ca8bc4faf6639768b1a,
title = "'A la Floyd' induction principles for proving inevitability properties of programs",
author = "Patrick Cousot and Radhia Cousot",
year = "1985",
language = "English (US)",
pages = "277--312",
editor = "M. Nivat and J. Reynolds",
booktitle = "Algebraic methods in semantics",
publisher = "Cambridge University Press",

}

TY - CHAP

T1 - 'A la Floyd' induction principles for proving inevitability properties of programs

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1985

Y1 - 1985

M3 - Chapter (peer-reviewed)

SP - 277

EP - 312

BT - Algebraic methods in semantics

A2 - Nivat, M.

A2 - Reynolds, J.

PB - Cambridge University Press

ER -