Lucid - MaRDI portal

Cited in

(47)

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
An extensional treatment of dataflow deadlock
Application of modal logic to programming
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
Design and correctness of a compiler for a non-procedural language
Concrete domains
A functional logic for higher level reasoning about computation
DisCoPy
Multi-dimensional logic programming: theoretical foundations
CACTUS
SIGNAL
Agapia
LUSTRE
Fudgets
A functional model for describing and reasoning about time behaviour of computing systems
Asynchronous stream processing with S-Net
Yampa
Sisal
The semantics of dimensions as values
Comonadic notions of computation
Qu-Prolog
ActiveVRML
TBAG
TransLucid
Hugs
PipLib
scientific article; zbMATH DE number 4037158 (Why is no real title available?)
scientific article; zbMATH DE number 3677217 (Why is no real title available?)
scientific article; zbMATH DE number 53087 (Why is no real title available?)
scientific article; zbMATH DE number 3797730 (Why is no real title available?)
Causal commutative arrows
A new notation for arrows
Functional reactive animation
Temporal logic programming
A generalized Kahn Principle for abstract asynchronous networks
Stratified negation in temporal logic programming and the cycle-sum test
An extensional treatment of lazy data flow deadlock
Constraint nets: a semantic model for hybrid dynamic systems
Some efficient solutions to the affine scheduling problem. I: One- dimensional time
The nature of the extended analog computer

This page was built for software: Lucid