-
...we present an overview of rewriting-based systems that were presented at the...
-
...language and a high-performance system supporting executable specification and declarative programming in rewriting logic. since rewriting logic contains equational logic, maude also supports equational specification...and theories. the underlying equational logic chosen for maude is membership equational logic, that has sorts, subsorts, operator...
-
rewriting logic expresses an essential equivalence between logic and computation. systemstatesare in bijective...because of this ecumenical neutrality, rewriting logic has,
from a logical viewpoint, good properties as alogical framework, in which many other logics can be naturally represented. and...
-
rewriting logic [40] is proposed as a logical framework in which other logics can be represented, and as...” using the fact that rewriting logic is reflective, it is often possible to reify inside rewriting logic itself a representation mapl →...
-
Published in 1999.
-
...this tool using the maude system is facilitated thanks to the reflectivity of the rewriting logic. indeed, the self-interpretation of this logic allows us both the modelling...development tools based on powerful logic with sound and complete semantic. the integration of ecatnets in rewriting logic is very promising in terms...
-
...design of real time/parallel systems requires formal approaches in order to facilitate verification and validation at each step. methods based on formal logic have been previously suggested but...proposes a method based on rewriting logic. this method integrates the main...
-
...algebraic specification methodology, membership equational logic. given a theory t, the rewriting logic of t is the free monoidal 2-category, and the tile logic of t is the free...to an extended version of rewriting logic, which is able to embed tile logic, and which can be implemented in the basic version of rewriting logic using suitable internal strategies. these...
-
rewriting logic appears to have good properties as logical framework, and can be useful...as specific cases of bi-rewrite systems. deduction is then essentially bi-rewriting a theory of rewriting logic. since recently the interest in...
-
...directed equation
t = t ’. rewriting logic is a substantial broadening of the semantics given to rewrite rules. the equational reading is...introduces the main concepts of rewriting logic
and of the maude rewriting logic language, and discusses a wide...