Lucid, a nonprocedural language with iteration

DOI10.1145/359636.359715zbMath0358.68033OpenAlexW2022667180WikidataQ128253855 ScholiaQ128253855MaRDI QIDQ4130974

E. A. Ashcroft

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: http://wrap.warwick.ac.uk/46307/1/WRAP_Ashcroft_cs-rr-011.pdf

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Unnamed Item, An extensional treatment of dataflow deadlock, Application of modal logic to programming, Unnamed Item, Multidimensional infinite data in the language Lucid, A functional model for describing and reasoning about time behaviour of computing systems, Asynchronous stream processing with S-Net, Correctness of a lucid interpreter based on linked forest manipulation systems, Design and correctness of a compiler for a non-procedural language, Concrete domains