Pedro Diniz

Increasing the Accuracy of Shape and Safety Analysis for Pointer-based Codes

TitleIncreasing the Accuracy of Shape and Safety Analysis for Pointer-based Codes
Publication TypeConference Paper
Year of Publication2003
AuthorsP. Diniz
Date PublishedOct
Groups: