866 search results - page 18 / 174 » A compositional semantics for CHR |
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
ALP
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
ENTCS
2010
13 years 5 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
ESWS
2005
Springer
14 years 1 months ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
TSC
2010
13 years 6 months ago
2010
—The need for integration of all types of client and server applications that were not initially designed to interoperate is gaining popularity. One of the reasons for this popul...