1
Indholdsfortegnelse: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Indholdsfortegnelse: ... Rational BDI Agent Programming Language -- (Extended Version) -- Relating Goal and Commitment Semantics...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ... with Lightweight Annotation Requirements -- A Logic Programming Approach to Scientific Workflow Provenance Querying...
Få fuldtekst
Electronisk eBog
7
Udgivet 2005
Indholdsfortegnelse: .../Procedural Metadata Mapping Language Based on Python -- Using a Metadata Schema Registry in the National...
Få fuldtekst
Electronisk eBog