Generating efficient code from data-flow programs
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Minimal model generationPublished by American Mathematical Society (AMS) ,1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- Three Partition Refinement AlgorithmsSIAM Journal on Computing, 1987
- LUSTRE: a declarative language for real-time programmingPublished by Association for Computing Machinery (ACM) ,1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic Control Systems Programming Using a Real Time Declarative LanguageIFAC Proceedings Volumes, 1986
- Compilation of Nonprocedural Specifications into Computer ProgramsIEEE Transactions on Software Engineering, 1983
- The VAL Language: Description and AnalysisACM Transactions on Programming Languages and Systems, 1982
- Derivatives of Regular ExpressionsJournal of the ACM, 1964