1
Table of Contents: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
View full text
Electronic eBook
3
Table of Contents: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
5
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ...: Web Programming -- Practical: A Shoutcast Server -- Using Threads -- Practical: A Concurrent Web...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Profiling to Guide Program Parallelization -- gluepy: A Simple Distributed Python Programming Framework...
View full text
Electronic eBook