1
Udgivet 2014
Indholdsfortegnelse: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Få fuldtekst
Electronisk eBog