Semantic foundations of program analysis

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

Original languageEnglish (US)
Title of host publicationProgram flow analysis
Subtitle of host publicationTheory and applications
EditorsS. Muchnick, N. Jones
PublisherPrentice Hall
Pages303-342
StatePublished - 1981

Cite this

Cousot, P. (1981). Semantic foundations of program analysis. In S. Muchnick, & N. Jones (Eds.), Program flow analysis: Theory and applications (pp. 303-342). [Chapter 10] Prentice Hall.

Semantic foundations of program analysis. / Cousot, Patrick.

Program flow analysis: Theory and applications. ed. / S. Muchnick; N. Jones. Prentice Hall, 1981. p. 303-342 Chapter 10.

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

Cousot, P 1981, Semantic foundations of program analysis. in S Muchnick & N Jones (eds), Program flow analysis: Theory and applications., Chapter 10, Prentice Hall, pp. 303-342.
Cousot P. Semantic foundations of program analysis. In Muchnick S, Jones N, editors, Program flow analysis: Theory and applications. Prentice Hall. 1981. p. 303-342. Chapter 10
Cousot, Patrick. / Semantic foundations of program analysis. Program flow analysis: Theory and applications. editor / S. Muchnick ; N. Jones. Prentice Hall, 1981. pp. 303-342
@inbook{343f773d9836430a8bb39becb3df1fa4,
title = "Semantic foundations of program analysis",
author = "Patrick Cousot",
year = "1981",
language = "English (US)",
pages = "303--342",
editor = "S. Muchnick and N. Jones",
booktitle = "Program flow analysis",
publisher = "Prentice Hall",

}

TY - CHAP

T1 - Semantic foundations of program analysis

AU - Cousot, Patrick

PY - 1981

Y1 - 1981

M3 - Chapter (peer-reviewed)

SP - 303

EP - 342

BT - Program flow analysis

A2 - Muchnick, S.

A2 - Jones, N.

PB - Prentice Hall

ER -