K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
| Autor: | Traian Florin Şerbănuţă, Grigore Rosu |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Programming language
Computer science Semantics (computer science) Comparison of multi-paradigm programming languages Second-generation programming language computer.software_genre Very high-level programming language Third-generation programming language TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION Fourth-generation programming language Fifth-generation programming language computer Programming language theory |
| Zdroj: | Rewriting Logic and Its Applications ISBN: 9783642163098 WRLA |
| DOI: | 10.1007/978-3-642-16310-4_8 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|