1
di Shankar, A. Udaya., Shankar, A. Udaya.
Pubblicazione 2013
Sommario: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
Testo
Elettronico eBook
3
di Smith, Joshua B., Smith, Joshua B.
Pubblicazione 2007
Sommario: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
Testo
Elettronico eBook