866 search results - page 49 / 174 » A compositional semantics for CHR |
JLP
2011
13 years 16 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
COLING
2008
13 years 11 months ago
2008
In contrast to LFG and HPSG, there is to date no large scale Tree Adjoining Grammar (TAG) equiped with a compositional semantics. In this paper, we report on the integration of a ...
SIGSOFT
2002
ACM
14 years 10 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
WECWIS
2007
IEEE
14 years 3 months ago
2007
IEEE
With the growing number and ubiquitous usage of Web services throughout the service-oriented community, the need to find service descriptions in a given repository, as well as co...