Event-driven FRP

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

Volumn 2257, Issue , 2002, Pages 155-172

  Wan, Zhanyong ^a   Taha, Walid ^a   Hudak, Paul ^a  

^a Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CONTINUOUS TIME SYSTEMS; FUNCTIONAL PROGRAMMING; GRAPHICAL USER INTERFACES; SEMANTICS;

CONTINUOUS-TIME; DECLARATIVE LANGUAGES; DENOTATIONAL SEMANTICS; EMBEDDED REAL-TIME APPLICATIONS; EVENT-DRIVEN; FUNCTIONAL REACTIVE PROGRAMMING; OPERATIONAL SEMANTICS; REACTIVE SYSTEM;

HIGH LEVEL LANGUAGES;

EID: 84947265187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45587-6_11     Document Type: Conference Paper

References (20)

1. Gerard Berry and Laurent Cosserat. The Esterel synchronous programming language and its mathematical semantics. In A. W. Roscoe S. D. Brookes and editors G. Winskel, editors, Seminar on Concurrency, volume 197 of Lect. Notes in Computer Science, pages 389-448. Springer Verlag, 1985.
2. Gerard Berry and the Esterel Team. The Esterel v5.21 System Manual. Centre de Mathématiques Appliqu´ees, Ecole des Mines de Paris and INRIA, March 1999. Available at http://www.inria.fr/meije/esterel.
3. Paul Caspi, Halbwachs Halbwachs, Nicolas Pilaud, and John A. Plaice. Lustre: A declarative language for programming synchronous systems. In the Symposium on Principles of Programming Languages (POPL’87), January 1987.
4. Paul Caspi and M. Pouzet. Synchronous Kahn networks. In International Conference on Functional Programming. ACM SIGPLAN, May 1996.
5. Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Haskell Workshop, 2001.
6. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163-173, June 1997.
7. John Peterson et al. Haskell 1.4: A non-strict, purely functional language. Technical Report YALEU/DCS/RR-1106, Department of Computer Science, Yale University, Mar 1997. World Wide Web version at http://haskell.cs.yale.edu/haskell-report.
8. Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of Lect Notes in Computer Science, edited by G. Goos and J. Hartmanis, pages 257-277. Springer-Verlag, 1987.
9. William L. Harrison and Samuel N. Kamin. Modular compilers based on monad transformers. In Proceedings of the IEEE International Conference on Computer Languages, 1998.
10. Constance Heitmeyer. Applying Practical formal methods to the specification and analysis of security properties. In Proc. Information Assurance in Computer Networks, LNCS 2052, St. Petersburg, Russia, May 2001. Springer-Verlag.
11. Constance Heitmeyer, James Kirby, Bruce Labaw, and Ramesh Bharadwaj. SCR*: A toolset for specifying and analyzing software requirements. In Proc. Computer-Aided Verification, Vancouver, Canada, 1998.
12. Paul Hudak. The Haskell School of Expression-Learning Functional Programming through Multimedia. Cambridge University Press, New York, 2000.
13. Microchip Technology Inc. PIC16C66 Datasheet. Available on-line at http://www.microchip.com/.
14. John Peterson, Gregory Hager, and Paul Hudak. A language for declarative robotic programming. In International Conference on Robotics and Automation, 1999.
15. Alastair Reid, John Peterson, Greg Hager, and Paul Hudak. Prototyping realtime vision systems: An experiment in DSL design. In Proceedings of International Conference on Software Engineering, May 1999.
16. RoboCup official site. http://www.robocup.org/.
17. Walid Taha, Paul Hudak, and Zhanyong Wan. Directions in functional programming for real(-time) applications. In Thomas A. Henzinger and Christoph M. Kirsch, editors, Proc. First International Workshop, EMSOFT, LNCS 2211, pages 185-203, Tahoe City, CA, USA, October 2001. Springer-Verlag.
18. Walid Taha and Tim Sheard. Multi-stage programming with explicit annotations. In Proceedings of Symposium on Partial Evaluation and Semantics Based Program manipulation, pages 203-217. ACM SIGPLAN, 1997.
19. Zhanyong Wan and Paul Hudak. Functional reactive programming from first principles. In Proceedings of Symposium on Programming Language Design and Implementation. ACM, 2000.
20. Zhanyong Wan, Walid Taha, and Paul Hudak. Real-time FRP. In Proceedings of Sixth ACM SIGPLAN International Conference on Functional Programming, Florence, Italy, September 2001. ACM.