Skip to content

Source language representation of function summaries in static analysis.

Gbor Horvth, Norbert Pataki

VenueAECOOP
Year2016
ProceedingsICOOOLPS@ECOOP

Browse the full ECOOP paper archive.