1020 search results - page 177 / 204 » Tight Semantics for Logic Programs |
174
click to vote
POPL
2005
ACM
16 years 2 days ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
VRML
2003
ACM
15 years 5 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
116
click to vote
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
116
click to vote
ICDT
2012
ACM
13 years 2 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...