1
Argitaratua 2014
Aurkibidea: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Testu osoa
Baliabide elektronikoa eBook