Lucinda — A polymorphic Linda. This document describes the courting of Linda (a coordination language) by Russell (a computation language), and the subsequent conception of their child Lucinda. Mother and baby are both doing well. A number of deficiencies of the standard Linda dialect, C-Linda, are identified, and a new language, Lucinda, is proposed to overcome them. Lucinda provides dynamically created multiple tuple spaces and polymorphism via the type system of Russell. A formal semantics and proof rule system is given in a categorical framework.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.