3693 search results - page 220 / 739 » Splitting a Logic Program |
162
Voted
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
196
Voted
LOGCOM
2007
15 years 6 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
157
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
145
click to vote
CCS
2009
ACM
16 years 28 days ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
167
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...