research
∙
08/07/2020
Generating Distributed Programs from Event-B Models
Distributed algorithms offer challenges in checking that they meet their...
share
research
∙
05/14/2019
Generic Encodings of Constructor Rewriting Systems
Rewriting is a formalism widely used in computer science and mathematica...
research
∙
02/16/2018
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
This volume contains the formal proceedings of the 4th International Wor...
research
∙
05/24/2017