Sciweavers

FSTTCS
2008
Springer

A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems

14 years 1 months ago
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewriting systems where confluence is not required. In this paper we examine three concrete possible semantics for non-determinism that can be assigned to those programs. Two of them –call-time choice and run-time choice– are quite well-known, while the third one –plural semantics– is investigated for the first time in the context of term rewriting based programming languages. We investigate some basic intrinsic properties of the semantics and establish some relationships between them: we show that the three semantics form a hierarchy in the sense of set inclusion, and we prove that call-time choice and plural semantics enjoy a remarkable compositionality property that fails for run-time choice; finally, we show how to express plural semantics within run-time choice by means of a program transformation...
Juan Rodríguez-Hortalá
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where FSTTCS
Authors Juan Rodríguez-Hortalá
Comments (0)