Pages that link to "Item:Q4130974"
From MaRDI portal
The following pages link to Lucid, a nonprocedural language with iteration (Q4130974):
Displaying 10 items.
- An extensional treatment of dataflow deadlock (Q1143166) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- Design and correctness of a compiler for a non-procedural language (Q1240546) (← links)
- Concrete domains (Q1314355) (← links)
- A functional model for describing and reasoning about time behaviour of computing systems (Q2265792) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- Correctness of a lucid interpreter based on linked forest manipulation systems (Q3863037) (← links)
- (Q3873558) (← links)
- (Q4742767) (← links)
- Multidimensional infinite data in the language Lucid (Q5740669) (← links)