Making maude definitions more interactive

Authors:
Andrei Arusoaie;Traian Florin Şerbănuţă;Chucky Ellison;Grigore Roşu
Affiliations:
University Alexandru Ioan Cuza of Iaşi, Romania;University Alexandru Ioan Cuza of Iaşi, Romania,University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign
Venue:
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Year:
2012

Citing 10
Cited 1

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Imperative functional programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Basic Basic: An Introduction to Computer Programming in Basic Language

Basic Basic: An Introduction to Computer Programming in Basic Language
A Distributed Implementation of Mobile Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
A rewriting logic approach to operational semantics

Information and Computation
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
K-Maude: a rewriting based tool for semantics of programming languages

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Matching logic: an alternative to hoare/floyd logic

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Matching logic: a new program verification approach (NIER track)

Proceedings of the 33rd International Conference on Software Engineering
An executable formal semantics of C with applications

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

K framework distilled

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications

Quantified Score

Hi-index	0.00

Visualization

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 $\mathbb{K}$ framework, providing interactive interpreter capabilities for executing and testing programs for multiple language definitions.