Ein SO-Semantik-basierter Kontrollflußanalysegenerator für imperative Programmiersprachen

Entwurf und Implementierung von CFAGen

by Dirk Koschützki · 1997