Thomas Fahringer

Advanced symbolic analysis for compilers