Flow Logics: a multi-paradigmatic approach to static analysis

H. Riis Nielson, F. Nielson

TypeBook [Chapter]
Book titleThe Essence of Computation: Complexity, Analysis, Transformation.
Year2002    pp. 223-244
PublisherSpringer-Verlag
SeriesLNCS no. 2566
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering