Strategies and simulations in a semantic framework

Journal of Algorithms: Algorithms in Cognition, Informatics and Logic, 62:95-116, 2007.

Abstract: By means of several examples of structural operational semantics for a variety of languages, we justify the importance and interest of using the notions of strategies and simulations in the semantic framework provided by rewriting logic and implemented in the Maude metalanguage. On the one hand, we describe a basic strategy language for Maude and show its application to CCS, the ambient calculus, and the parallel functional language Eden. On the other hand, we show how the concept of stuttering simulation can be used inside Maude to show that a stack machine correctly implements the operational semantics of a simple functional language.

[pdf]

@article{MartiOlietPalominoVerdejo07,
	Author = {Narciso Mart\'{\i}-Oliet and Miguel Palomino and Alberto Verdejo},
	Journal = {Journal of Algorithms: Algorithms in Cognition, Informatics and Logic},
	Pages = {95-116},
	Title = {Strategies and simulations in a semantic framework},
	Volume = {62},
	Year = {2007}}