Titlebook: Advanced Symbolic Analysis for Compilers; New Techniques and A Thomas Fahringer,Bernhard Scholz Book 2003 Springer-Verlag Berlin Heidelberg

BOGUS

https://doi.org/10.1007/978-0-387-37880-0nt. The program context is a symbolic representation of variable values or behaviors arising at run-time of the program. Therfore, symbolic analysis can be seen as a compiler that translates a program into a different language. As a target language we employ . and ..

心痛