"Target-Sensitive Construction of Diagnostic Programs for Procedure Calling ..."

Mark W. Bailey, Jack W. Davidson (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics