Müller-Olm, Markus.

Variations on Constants Flow Analysis of Sequential and Parallel Programs / [electronic resource] : by Markus Müller-Olm. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 3800 0302-9743 ; .

9783540453864


Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters