Multidimensional infinite data in the language Lucid

DOI10.1017/S0960129513000388MaRDI QIDQ5740669zbMATH OpenFDO

Authors Jarryd P. Beck, J. Plaice, W. W. Wadge

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

infinite data structuresLucid

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Recommendations

• The semantics of dimensions as values
• scientific article; zbMATH DE number 3900125
• scientific article; zbMATH DE number 830423
• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Demand-driven real-time computing

Cites work

• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Higher-order functional languages and intensional logic
• Lucid, a nonprocedural language with iteration
• Lucid—A Formal System for Writing and Proving Programs

Cited in

(6)

• The semantics of dimensions as values
• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Infinite structures in Scratchpad II
• Lucid
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 830423 (Why is no real title available?)

Describes a project that uses

Uses Software

• TransLucid

This page was built for publication: Multidimensional infinite data in the language Lucid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740669)