1445 search results - page 112 / 289 » Abstract Interpretation of Logic Programs |
120
click to vote
USENIX
1990
15 years 4 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
124
click to vote
IFL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
127
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
139
click to vote
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
140
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...