1776 search results - page 17 / 356 » Using a Logic Programming Language with Persistence and Cont... |
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
ADAEUROPE
2000
Springer
13 years 12 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
POS
1998
Springer
13 years 11 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...