7430 search results - page 252 / 1486 » Programming Applications in CIFF |
119
click to vote
INAP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
122
click to vote
WLP
2005
Springer
15 years 10 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
157
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
122
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
143
click to vote
BPM
2003
Springer
15 years 9 months ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...