9873 search results - page 300 / 1975 » Emergent Semantics Systems |
156
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
182
click to vote
ICWSM
2008
15 years 8 months ago
2008
The research described here is part of a larger project with the objective of determining if a writer believes a proposition to be true or false. This task requires a deep underst...
152
click to vote
JOLLI
2006
15 years 6 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
170
click to vote
PPL
2008
15 years 6 months ago
2008
The aim of this work is to introduce a computational costs system associated to a semantic framework for orthogonal data and control parallelism handling. In such a framework a pa...
202
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...