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)

Full work available at URL https://doi.org/10.1017/S0960129513000388

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

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

Cited in

(6)

• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• The semantics of dimensions as values
• 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?)
• Infinite structures in Scratchpad II

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)