%0 Generic
%T A demand-driven solver for constraint-based control flow analysis ; Ein Bedarfs-gesteuerter Löser für Constraint-basierte Kontrollflußanalyse
%A Probst, Christian W.
%A Reinhard Wilhelm
%K Korrektheit
%K Constraint-Programmierung
%K Formale Semantik
%K Kontrollflussdiagramm
%K Graph
%K Objektorientierte Programmiersprache
%D 2004-09-23
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation