![Sample our Bioscience journals, sign in here to start your access, Latest two full volumes FREE to you for 14 days]({"type":"image" , "src" : "/sda/5925/TOC-Subject-Sample-2021-Bioscience.jpg"})
Abstract
The non-procedural programming language Lucid is described formally using a model based on linked forest manipulation systems. In this model the semantics is defined com-putationally by an abstract interpreter which is essentially non-deterministic and involves parallelism. This computational semantics is proven to be totally correct with respect to the denotational semantics of Lucid.