643 search results - page 61 / 129 » Semantic Determinism and Functional Logic Program Properties |
250
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
116
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
143
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
129
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
139
click to vote
CADE
2004
Springer
15 years 9 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...