| Original language | English (US) |
|---|---|
| Title of host publication | Calculational system design |
| Editors | M. Broy, R. Steinbruggen |
| Publisher | IOS Press |
| Pages | 421-505 |
| State | Published - 1999 |
Publication series
| Name | NATO Science Series, Series F: Computer and Systems Sciences |
|---|---|
| Volume | 173 |
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 proceeding › Chapter (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).
@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 -