Multidimensional infinite data in the language Lucid

DOI10.1017/S0960129513000388zbMATH Open1361.68024MaRDI QIDQ5740669FDOQ5740669

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)

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

zbMATH Keywords

infinite data structuresLucid

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Lucid—A Formal System for Writing and Proving Programs
• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Lucid, a nonprocedural language with iteration
• Higher-order functional languages and intensional logic

Cited In (6)

• The semantics of dimensions as values
• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Infinite structures in Scratchpad II
• Title not available (Why is that?)
• Lucid
• Title not available (Why is that?)

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)