Consistency in dataflow graphs
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A denotational theory of synchronous reactive systemsInformation and Computation, 1992
- Gabriel: a design environment for DSPIEEE Micro, 1990
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal ProcessingIEEE Transactions on Computers, 1987
- Efficient demand-driven evaluation. Part 1ACM Transactions on Programming Languages and Systems, 1985
- The U-InterpreterComputer, 1982
- Data Flow Program GraphsComputer, 1982
- The VAL Language: Description and AnalysisACM Transactions on Programming Languages and Systems, 1982
- The semantic elegance of applicative languagesPublished by Association for Computing Machinery (ACM) ,1981
- A straightforward denotational semantics for non-determinate data flow programsPublished by Association for Computing Machinery (ACM) ,1978