273 search results - page 1 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
94
Voted
AGP
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
74
Voted
FSTTCS
2008
Springer
14 years 11 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
JLP
2010
14 years 5 months ago
2010
ENTCS
2008
14 years 10 months ago
2008
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
ENTCS
2006
14 years 10 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...