Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization.
From MaRDI portal
Publication:1396163
zbMath1042.68034MaRDI QIDQ1396163
Thomas Fahringer, Bernhard Scholz
Publication date: 30 June 2003
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Theory of compilers and interpreters (68N20) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (3)
Reflexive transitive invariant relations: A basis for computing loop functions ⋮ Mathematics for reasoning about loop functions ⋮ Real-time properties of indirect recursive procedures
Uses Software
This page was built for publication: Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization.
