K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation

From FSL

Redirect page

Jump to: navigation, search

Technical Reports on K

Retrieved from "http://fsl.cs.uiuc.edu/index.php/K:_a_Rewrite-based_Framework_for_Modular_Language_Design%2C_Semantics%2C_Analysis_and_Implementation"