Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Rule Formats for Determinism and Idempotence$ Luca Acetoa
 

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

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences