01258nam--2200385---450-99000188892020331620040730090302.03-540-01185-4000188892USA01000188892(ALEPH)000188892USA0100018889220040730d2003----km-y0itay0103----baengDEa|||||||001yyAdvanced symbolic analysis for compilersnew techniques and algorithms for symbolic program analysis and optimizationThomas Fahringer, Bernhard ScholzBerlin [etc.]Springercopyr. 2003XII, 129 p.ill.24 cm.Lecture notes in computer science26282001Lecture notes in computer science26282001001-------2001Compilatori programmi per computer005.453FAHRINGER,Thomas508818SCHOLZ,Bernhard564903ITsalbcISBD990001888920203316001 LNCS 26280029480/CBS00100113865BKSCIRIVELLI9020040730USA010903Advanced symbolic analysis for compilers953832UNISA