The calculational design of a generic abstract interpreter

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

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

Name	NATO Science Series, Series F: Computer and Systems Sciences
Volume	173

Cite this

@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",

}