K: A Rewriting-Based Framework for Computations -- Preliminary version

From FSL

Redirect page

Jump to: navigation, search

Technical Reports on K

Retrieved from "http://fsl.cs.uiuc.edu/index.php/K:_A_Rewriting-Based_Framework_for_Computations_--_Preliminary_version"