Programs and their semantics
The Semantics of Graph Programs
... our semantics assigns to a program P and an input graph G all graphs that can result from executing P on ...the semantics is the use of failing computations to define powerful branching and iteration ...
12
Semantics of Input-Consuming Logic Programs
... theoretic semantics for input-consuming ...for programs with delay declarations apply to input-consuming programs as ...operational semantics is correct but not complete wrt the declarative ...
15
Durability Semantics for Lock-based Multithreaded Programs
... provide semantics for identi- fying a globally consistent state for a lock-based multi- threaded ...that programs are returned to such a globally consistent state after a ...transactional programs ...
8
Semantics and loop invariant synthesis for probabilistic programs
... probabilistic programs for which they try to find the probability of some outcome using simulation or symbolic program ...their programs are assumed to be terminating almost surely. Semantics are ...
146
Imperative programs as proofs via game semantics
... denotational semantics is the interpretation of a proof/program ...to semantics is not ...normalised programs/proofs such that any two distinct elements are semantically ...
251
4 The Distribution Semantics for Programs with Function Symbols
... distribution semantics is an approach for integrating logic programming and probability theory that underlies many languages and has been successfully applied in many ...the semantics was defined for ...
16
Equivalence of Two Formal Semantics for Functional Logic Programs
... logical semantics to programs, with a high level of abstraction and a syntax close to the user, while FLC and its semantics are closer to computations and concrete imple- mentations with details ...
26
A Parallel semantics for normal logic programs plus time
... fixed-point semantics, transform that into a loop that handles a single ’trigger’ tuple on each iteration, update all sets incrementally, and then design custom data struc- tures to efficiently support those ...
51
Logic programs with ordered disjunction: First-order semantics and expressiveness
... Logic programs with ordered disjunction (LPODs) (Brewka 2002) generalize normal logic programs by combining alter- native and ranked options in the heads of ...model semantics of the underlying ...
10
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
... style semantics is to obtain an efficient model checker for ...style semantics already provides both an Orc simulator and an Orc model checker for ...Orc programs to it, and also to define both state ...
29
Unfounded Sets and Well Founded Semantics of Answer Set Programs with Aggregates
... Logic programs with aggregates (LP A ) are one of the major linguistic extensions to Logic Programming ...well-founded semantics for programs with monotone and antimonotone aggregates (LP A m,a ...
41
Computing the Least Fix-point Semantics of Definite Logic Programs Using BDDs
... Overview The first step toward this goal will be the identification of three basic operations on sets of terms, namely, union, intersection, and projection (analogous to a restriction), which allow the expression of the ...
19
Abduction from logic programs: Semantics and complexity
... This problems are analyzed for different underlying logic programming semantics, namely, the well-founded semantics, the stable model semantics and the minimal model[r] ...
49
Denotational Semantics for “Natural” Language Question Answering Programs
... 1977 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M1T Press, Cambridge, Mas- sachusetts[r] ...
11
Performance Optimizations and Operator Semantics for Streaming Data Flow Programs
... The semantics of an execution graph are similar to the original data flow graph. Nodes model operators and edges model data flow connections. One important dif- ference between a data flow graph and an execution ...
176
Announcements. Fundamentals. Interpreter vs Compiler. Syntax and Semantics of Programs. Typical Compiler. Brief look at syntax.
... • Every imperative program can be written as a functional program, using a data structure to represent machine states. This is a theoretical result[r] ...
9
Which Semantics for Neighbourhood Semantics?
... different semantics, originally introduced in [Montague, 1968; 1970] and [Scott, 1968] in a different ...alternative semantics uses the notion of neighbourhoods to define the meaning of the epis- temic ...
6
Copy Semantics and Move Semantics in C++
... SimpleString.cpp What happens if we perform a member wise copy of a SimpleString object?... A Problem.[r] ...
53
Semantics
... argument, for example, the adjective can easily be replaced by powerful, with little or no difference in meaning. They are not identical, though. The dissimilarities come to light when one examines the contexts in which ...
13