480 search results - page 19 / 96 » Continuations for parallel logic programming |
132
click to vote
FLOPS
2004
Springer
15 years 8 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...
132
Voted
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
111
Voted
STOC
2001
ACM
16 years 3 months ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
104
Voted
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
132
Voted
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...