| | |
Summary: Rule Formats for Determinism and Idempotence$
Luca Acetoa
, Arnar Birgissonb
, Anna Ingolfsdottira
, MohammadReza
Mousavic
, Michel A. Reniersc
a
ICE-TCS, School of Computer Science, Reykjavik University,
Menntavegur 1, IS-101 Reykjavik, Iceland
b
Department of Computer Science and Engineering,
Chalmers University of Technology, Sweden
c
Department of Computer Science, Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Abstract
Determinism is a semantic property of (a fragment of) a language that spec-
ifies that a program cannot evolve operationally in several different ways.
Idempotence is a property of binary composition operators requiring that
|
