Title | Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization |
---|---|
Author | Thomas Fahringer, Bernhard Scholz (eds.) |
Year | 2003 |
Edition | 1 |
Volume | |
Series | Lecture Notes in Computer Science 2628 |
Publisher | Springer-Verlag Berlin Heidelberg |
City | New York |
Language | English |