Difference between revisions of "K-Maude: A Rewriting Based Tool for Semantics of Programming Languages"

From FSL
Jump to: navigation, search
Line 1: Line 1:
<purge></purge><pub id="serbanuta-rosu-2010-wrla" template='PubDefaultWithAbstractAndTitle'></pub>
<purge></purge><pubbib id="serbanuta-rosu-2010-wrla" template='PubDefaultWithAbstractAndTitle'/>

Latest revision as of 03:45, 11 April 2016

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
Traian Florin Serbanuta and Grigore Rosu
WRLA'10, Springer, pp 104-122. 2010
Abstract. K is a rewriting-based framework for defining programming languages. K-Maude is a tool implementing K on top of Maude. K-Maude provides an interface accepting K modules along with regular Maude modules and a collection of tools for transforming K language definitions into Maude rewrite theories for execution or analysis, or into LaTeX for documentation purposes. The current K-Maude prototype was successfully used in defining several languages and language analysis tools, both for research and for teaching purposes. This paper describes the K-Maude tool, both from a user and from an implementer perspective.
PDF, Slides(PDF), K, DOI, WRLA'10, BIB

Personal tools