Embedding dynamic dataflow in a call-by-value language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3924 LNCS, Issue , 2006, Pages 294-308

  Cooper, Gregory H ^a   Krishnamurthi, Shriram ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; GRAPH THEORY; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; TECHNICAL WRITING; VIRTUAL REALITY; COMPUTATIONAL LINGUISTICS; DATA FLOW ANALYSIS; FORMAL METHODS;

CALL-BY-VALUE LANGUAGES; DYNAMIC DATAFLOW; INTERACTIVE APPLICATIONS; LEGACY CODES;

EMBEDDED SYSTEMS; FUNCTIONAL PROGRAMMING;

DESIGN AND IMPLEMENTATIONS; FORMAL SEMANTICS; FUNCTIONAL LANGUAGES; FUNCTIONAL REACTIVE PROGRAMMING; INTERACTIVE APPLICATIONS; NOVEL APPLICATIONS; PROGRAM CONSTRUCTION; PROGRAMMING ENVIRONMENT;

EID: 33745787935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693024_20     Document Type: Conference Paper

References (20)

1. U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In ACM SIGPLAN Symposium on Principles of Programming Languages, pages 247-259, 2002.
2. A. Benveniste, P. L. Guernic, and C. Jacquemot. Synchronous programming with events and relations: the signal language and its semantics. Science of Computer Programming, 16(2):103-149, 1991.
3. G. Berry. The Foundations of Esterel. MIT Press, 1998.
4. P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In ACM SIGPLAN Symposium on Principles of Programming Languages, pages 178-188, 1987.
5. A. Courtney. Frappé: Functional reactive programming in Java. In Practical Aspects of Declarative Languages, pages 29-44, 2001.
6. C. Elliott. Functional implementations of continuous modeled animation. In Programming Languages: Implementations, Logics, and Programs, pages 284-299, 1998.
7. C. Elliott and P. Hudak. Functional reactive animation. In ACM SIGPLAN International Conference on Functional Programming, pages 263-277, 1997.
8. M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102(2):235-271, 1992.
9. R. B. Findler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler, and M. Felleisen. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2):159-182, 2002.
10. R. B. Findler and M. Flatt. Slideshow: Functional presentations. In ACM SIGPLAN International Conference on Functional Programming, pages 224-235, 2004.
11. M. Flatt, R. B. Findler, S. Krishnamurthi, and M. Felleisen. Programming languages as operating systems (or, Revenge of the Son of the Lisp Machine). In ACM SIGPLAN International Conference on Functional Programming, pages 138-147, 1999.
12. G. Hamon and M. Pouzet. Modular Resetting of Synchronous Data-flow Programs. In ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pages 289-300, 2000.
13. J. Hughes. Generalizing monads to arrows. Science of Computer Programming, 37(1-3):67-111, 2000.
14. S. P. Jones and J. Hughes, editors. Report on the Programming Language Haskell 98. 1999.
15. G. Marceau, G. H. Cooper, S. Krishnamurthi, and S. P. Reiss. A dataflow language for scriptable debugging. In IEEE International Symposium on Automated Software Engineering, pages 218-227, 2004.
16. H. Nilsson, A. Courtney, and J. Peterson. Functional reactive programming, continued. In ACM SIGPLAN Workshop on Haskell, pages 51-64, 2002.
17. J. Peterson, V. Trifonov, and A. Serjantov. Parallel functional reactive programming. In Practical Aspects of Declarative Languages, pages 16-31, 2000.
18. W. W. Wadge and E. A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press U.K., 1985.
19. Z. Wan and P. Hudak. Functional reactive programming from first principles. In ACM Conference on Programming Language Design and Implementation, pages 242-252, 2000.
20. Z. Wan, W. Taha, and P. Hudak. Real-time FRP. In ACM SIGPLAN International Conference on Functional Programming, pages 146-156, 2001.