| Year | 2012 |
|---|---|
| Type | Conference |
| Status | Proceedings |
| Authors | Andrei Arusoaie, Traian Serbanuta, Chucky Ellison, Grigore Rosu |
Links
Abstract
This paper presents an interface for achieving interactive executions of Maude terms by allowing console and file input/output (I/O) operations.This interface consists of a Maude API for I/O operations, a Java-based server offering I/O capabilities,and a communication protocol between the two implemented using the external objects concept and Maude's TCP sockets.This interface was evaluated as part of the K framework, providing interactive interpreter capabilities for executing and testing programs for multiple language definitions.
BibTeX
@InProceedings{arusoaie-SER-2012-wrla,
author = {Andrei Arusoaie and Traian Florin {c S}erb{u a}nu{c t}{u a} and Chucky Ellison and Grigore Roc{s}u},
title = {Making Maude Definitions more Interactive},
booktitle = {Rewriting Logic and Its Applications, WRLA 2012},
year = {2012},
pages = {},
publisher = {},
doi = {},
url = {http://wrla2012.lcc.uma.es/[WRLA2012]}
}