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