Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators.

Mark W. Bailey, Jack W. Davidson

Browse the full PLDI paper archive.