1
Udgivet 2014
Indholdsfortegnelse: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Få fuldtekst
Electronisk eBog