273 search results - page 6 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
FOSSACS
2007
Springer
15 years 5 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
CTRS
1987
15 years 3 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
101
click to vote
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
100
click to vote
COOPIS
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
102
click to vote
EUROMICRO
1996
IEEE
15 years 3 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...