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='PubDefaultWithAbstract'></pub>
<purge></purge><pub id="serbanuta-rosu-2010-wrla" template='PubDefaultWithAbstractAndTitle'></pub>

Revision as of 05:50, 24 December 2010

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
Traian Florin Serbanuta and Grigore Rosu
WRLA'10, LNCS 6381, 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-Maude, LNCS, WRLA'10, BIB

Personal tools