1083 search results - page 195 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
126
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
126
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
111
click to vote
CASCON
2004
15 years 3 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
117
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
146
click to vote
ECRTS
2004
IEEE
15 years 5 months ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...