016 - Parallelism in a definitive programming framework
Abstract
A method of programming based on the use of definitions is outlined and illustrated. Its potential merits as a medium for general-purpose parallel programming are examined with reference to criticisms of approaches based upon traditional programming paradigms.