Code Generation for Recursive Programs developed in Rodin

Instructions

Dependencies

• Rodin 3.4

Install

1. Download latest update site of EB2RC from Github Release.
2. In Eclipse, goto Help -> Install New Software -> Add -> Archive -> Choosing the download archive -> Select EB2RC from Category -> Finish.

Usage

• See Wiki page.

Contacts

Zheng Cheng: zheng.cheng@inria.fr

Dominique Méry: dominique.mery@loria.fr

Collaborators

• Rosemary Monahan, Maynooth Univerisity, IE