460 search results - page 62 / 92 » Operational Semantics of Constraint Logic Programs with Coro... |
123
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
230
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
143
Voted
ENTCS
2008
15 years 3 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
145
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
244
click to vote
ENTCS
2002
15 years 3 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...