1
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook
2
Table of Contents: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Rational BDI Agent Programming Language -- (Extended Version) -- Relating Goal and Commitment Semantics...
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
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... with Lightweight Annotation Requirements -- A Logic Programming Approach to Scientific Workflow Provenance Querying...
View full text
Electronic eBook
7
Published 2005
Table of Contents: .../Procedural Metadata Mapping Language Based on Python -- Using a Metadata Schema Registry in the National...
View full text
Electronic eBook