3323 search results - page 251 / 665 » Computational Semantics with Functional Programming |
199
click to vote
SEW
2006
IEEE
16 years 19 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
131
click to vote
ICTAC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
160
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
177
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
173
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...