1746 search results - page 311 / 350 » A Constructive Semantics for ALC |
179
Voted
SIGMOD
2008
ACM
16 years 27 days ago
2008
ACM
The increasing complexity of enterprise databases and the prevalent lack of documentation incur significant cost in both understanding and integrating the databases. Existing solu...
114
Voted
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
99
Voted
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
116
click to vote
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...