The calculational design of a generic abstract interpreter

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

Original languageEnglish (US)
Title of host publicationCalculational system design
EditorsM. Broy, R. Steinbruggen
PublisherIOS Press
Pages421-505
StatePublished - 1999

Publication series

NameNATO Science Series, Series F: Computer and Systems Sciences
Volume173

Cite this

Cousot, P. (1999). The calculational design of a generic abstract interpreter. In M. Broy, & R. Steinbruggen (Eds.), Calculational system design (pp. 421-505). (NATO Science Series, Series F: Computer and Systems Sciences; Vol. 173). IOS Press.

The calculational design of a generic abstract interpreter. / Cousot, Patrick.

Calculational system design. ed. / M. Broy; R. Steinbruggen. IOS Press, 1999. p. 421-505 (NATO Science Series, Series F: Computer and Systems Sciences; Vol. 173).

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

Cousot, P 1999, The calculational design of a generic abstract interpreter. in M Broy & R Steinbruggen (eds), Calculational system design. NATO Science Series, Series F: Computer and Systems Sciences, vol. 173, IOS Press, pp. 421-505.
Cousot P. The calculational design of a generic abstract interpreter. In Broy M, Steinbruggen R, editors, Calculational system design. IOS Press. 1999. p. 421-505. (NATO Science Series, Series F: Computer and Systems Sciences).
Cousot, Patrick. / The calculational design of a generic abstract interpreter. Calculational system design. editor / M. Broy ; R. Steinbruggen. IOS Press, 1999. pp. 421-505 (NATO Science Series, Series F: Computer and Systems Sciences).
@inbook{232a5fc72ad74825ad956cd271c85627,
title = "The calculational design of a generic abstract interpreter",
author = "Patrick Cousot",
year = "1999",
language = "English (US)",
series = "NATO Science Series, Series F: Computer and Systems Sciences",
publisher = "IOS Press",
pages = "421--505",
editor = "M. Broy and R. Steinbruggen",
booktitle = "Calculational system design",

}

TY - CHAP

T1 - The calculational design of a generic abstract interpreter

AU - Cousot, Patrick

PY - 1999

Y1 - 1999

M3 - Chapter (peer-reviewed)

T3 - NATO Science Series, Series F: Computer and Systems Sciences

SP - 421

EP - 505

BT - Calculational system design

A2 - Broy, M.

A2 - Steinbruggen, R.

PB - IOS Press

ER -