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.