643 search results - page 40 / 129 » Semantic Determinism and Functional Logic Program Properties |
109
click to vote
AAAI
2004
15 years 3 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
110
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
111
click to vote
ENTCS
2000
15 years 1 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
97
Voted
INFSOF
1998
15 years 1 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
116
click to vote
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...