1
Taula de continguts: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Obtenir text complet
Electrònic eBook
3
Publicat 2012
Taula de continguts: ... Rational BDI Agent Programming Language -- (Extended Version) -- Relating Goal and Commitment Semantics...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
Obtenir text complet
Electrònic eBook
5
per Smith, Joshua B., Smith, Joshua B.
Publicat 2007
Taula de continguts: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... with Lightweight Annotation Requirements -- A Logic Programming Approach to Scientific Workflow Provenance Querying...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: .../Procedural Metadata Mapping Language Based on Python -- Using a Metadata Schema Registry in the National...
Obtenir text complet
Electrònic eBook