scientific article; zbMATH DE number 3900125

MaRDI QIDQ3678639zbMATH OpenFDO

Authors W. W. Wadge, E. A. Ashcroft

Publication date 1985

zbMATH Keywords

dataflow languagesIswimLucidLuswimparallel programmingProgram transformationProgram verificationprogramming language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25) Theory of software (68Nxx)

Recommendations

• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Multidimensional infinite data in the language Lucid
• scientific article; zbMATH DE number 830423
• scientific article; zbMATH DE number 1235138
• Clocks in dataflow languages

Cited in

(27)

• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Integrating Lucid's declarative dataflow paradigm into object-orientation
• An operator net model for distributed systems
• Connectedness and synchronization
• Clocks in dataflow languages
• Specification and design of shared resource arbitration
• Dataflow analysis of array and scalar references
• Applications of coarse-grained dataflow in computational mechanis
• A denotational theory of synchronous reactive systems
• A functional logic for higher level reasoning about computation
• Multi-dimensional logic programming: theoretical foundations
• The semantics of dimensions as values
• Comonadic notions of computation
• Lucid
• scientific article; zbMATH DE number 4037158 (Why is no real title available?)
• scientific article; zbMATH DE number 830423 (Why is no real title available?)
• Causal commutative arrows
• Multidimensional infinite data in the language Lucid
• Temporal logic programming
• A generalized Kahn Principle for abstract asynchronous networks
• Stratified negation in temporal logic programming and the cycle-sum test
• Monoidal streams for dataflow programming
• Constraint nets: a semantic model for hybrid dynamic systems
• Some efficient solutions to the affine scheduling problem. I: One- dimensional time
• Coinductive streams in monoidal categories
• Turner, Bird, Eratosthenes: an eternal burning thread
• The nature of the extended analog computer

This page was built for publication:

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