Denota Samia Meziani Moding for Eden 'denota' is a pipeline translator for Eden. It implements a "moding" feature for Eden, by taking statements about the intended mode of Eden variables (eg "c = abst list;") and outputting Eden statements which are interpreted by the Eden which the denota process is connected to via the pipeline. [Ash] 1987 12 denotaMeziani1987 MScR software ttyeden %eden README 13 notation tool translator moding ~wmb/public/projects/notations/denota ~wmb/public/doc/samia.thesis