290 search results - page 17 / 58 » A Denotational Semantics for Handel-C |
106
click to vote
AMSTERDAM
2009
14 years 9 months ago
2009
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
104
click to vote
ACL
2012
13 years 2 months ago
2012
Mining retrospective events from text streams has been an important research topic. Classic text representation model (i.e., vector space model) cannot model temporal aspects of d...
ENTCS
2007
14 years 11 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
89
Voted
ENTCS
2007
14 years 11 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...