Rewriting Logic: A logical and semantic framework where computation is modelled through the application of rewrite rules that describe transformations of abstract states.