Difference between revisions of "Making Maude Definitions more Interactive"

From FSL
Jump to: navigation, search
m (New page: <pub id="arusoaie-serbanuta-ellison-rosu-2012-wrla" template="PubDefaultWithAbstractAndTitle" />)
 
 
Line 1: Line 1:
<pub id="arusoaie-serbanuta-ellison-rosu-2012-wrla" template="PubDefaultWithAbstractAndTitle" />
+
<pubbib id="arusoaie-serbanuta-ellison-rosu-2012-wrla" template="PubDefaultWithAbstractAndTitle" />

Latest revision as of 02:35, 27 February 2016

Making Maude Definitions more Interactive
Andrei Arusoaie and Traian Florin Serbanuta and Chucky Ellison and Grigore Rosu
WRLA'12, LNCS 7571, pp 83-98. 2012
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.
PDF, K, DOI, WRLA'12, BIB

Personal tools
Namespaces

Variants
Actions
Navigation