A Rewriting Logic Approach to Operational Semantics -- Extended Abstract

From FSL

Redirect page

Jump to: navigation, search

A Rewriting Logic Approach to Operational Semantics

Retrieved from "http://fsl.cs.uiuc.edu/index.php/A_Rewriting_Logic_Approach_to_Operational_Semantics_--_Extended_Abstract"