Lucid - MaRDI portal

Cited in

(47)

Temporal logic programming
Multi-dimensional logic programming: theoretical foundations
Application of modal logic to programming
A denotational theory of synchronous reactive systems
Concrete domains
Dataflow analysis of array and scalar references
scientific article; zbMATH DE number 4037158 (Why is no real title available?)
scientific article; zbMATH DE number 53087 (Why is no real title available?)
Comonadic notions of computation
The semantics of dimensions as values
An operator net model for distributed systems
From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
Integrating Lucid's declarative dataflow paradigm into object-orientation
An extensional treatment of dataflow deadlock
Asynchronous stream processing with S-Net
An extensional treatment of lazy data flow deadlock
Design and correctness of a compiler for a non-procedural language
CACTUS
SIGNAL
Agapia
LUSTRE
Fudgets
Sisal
Yampa
Qu-Prolog
ActiveVRML
Hugs
TBAG
TransLucid
PipLib
A functional logic for higher level reasoning about computation
A new notation for arrows
A generalized Kahn Principle for abstract asynchronous networks
Functional reactive animation
Connectedness and synchronization
scientific article; zbMATH DE number 3677217 (Why is no real title available?)
Clocks in dataflow languages
Applications of coarse-grained dataflow in computational mechanis
Specification and design of shared resource arbitration
DisCoPy
Causal commutative arrows
The nature of the extended analog computer
scientific article; zbMATH DE number 3797730 (Why is no real title available?)
Stratified negation in temporal logic programming and the cycle-sum test
A functional model for describing and reasoning about time behaviour of computing systems
Some efficient solutions to the affine scheduling problem. I: One- dimensional time
Constraint nets: a semantic model for hybrid dynamic systems

This page was built for software: Lucid