B Maude: A formal executable environment for Abstract Machine Notation Descriptions

Christiano Braga, Narciso Martí-Oliet

We propose B Maude, a prototype executable environment for the Abstract Machine Notation implemented in the Maude language. B Maude is formally defined and results from the impleme…