TCD-CS-93-39... Butterfield, A.

On Mapping Reduction

April 1993

Keywords:induction; list Operations; Reduction; Accumulaton

Abstract

This article discusses the Mapped Reduction operator (II) that was developed while modeling aspects of fault tolerant systems [But93b].


Technical Reports Home Page