1
Table of Contents: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
View full text
Electronic eBook
2
Table of Contents: ...1: Python Programming 101 -- 2: Computational Complexity -- 3: Recursion -- Sequences -- 4: Sets...
View full text
Electronic eBook
3
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...
View full text
Electronic eBook