643 search results - page 72 / 129 » Semantic Determinism and Functional Logic Program Properties |
145
Voted
APAL
2008
15 years 3 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
129
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
250
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
135
Voted
IJCAI
1989
15 years 4 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
104
Voted
ENTCS
2008
15 years 3 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...