TY  - INPR
ID  - deploy324
UR  - http://deploy-eprints.ecs.soton.ac.uk/324/
A1  - Schmalz, Matthias
Y1  - 2011///
N2  - Abstract. We devise a theoretical foundation of directed rewriting, a
term rewriting strategy for logics of partial functions, inspired by term
rewriting in the Rodin platform. We prove that directed rewriting is
sound and show how to supply new rewrite rules in a soundness preserv-
ing fashion. In the context of Rodin, we show that directed rewriting
makes a signi?cant number of conditional rewrite rules unconditional.
Our work not only allows us to point out a number of concrete ways of
improving directed rewriting in Rodin, but also has applications in other
logics of partial functions. Additionally, we give a semantics for the logic
of Event-B.
PB  - Springer
JF  - Proceedings of ICFEM 2011
TI  - Term Rewriting in Logics of Partial Functions
AV  - none
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>