SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2001, Pages 146-156

Real-time FRP

(3) Wan, Z a Taha, W a Hudak, P a

a YALE UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; HIGH LEVEL LANGUAGES; JAVA PROGRAMMING LANGUAGE; RECURSIVE FUNCTIONS; SEMANTICS;

BASE LANGUAGE PART; REACTIVE PART; REAL-TIME FUNCTIONAL REACTIVE PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 0034775935 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (65)

References (39)

1
- 84976744619
- The esterel synchronous programming language and its mathematical semantics
- In A.W. Roscoe S.D. Brookes and editors; Springer Verlag
- (1985) Seminar on Concurrency, Volume 197 of Lect. Notes in Computer Science , pp. 389-448
- Berry, G.¹ Cosserat, L.²

2
- 0003818202
- The constructive semantics of pure esteral (draft version 3)
- Draft Version 3, Ecole des Mines de Paris and INRIA, July
- (1999)
- Berry, G.¹

3
- 85022163068
- Lustre: A declarative language for programming synchronous systems
- 14th ACM Symp. on Principles of Programming Languages, January 1987
- Caspi, P.¹ Halbwachs, N.² Pilaud, D.³ Plaice, J.A.⁴

4
- 0029695485
- Synchronous Kahn networks
- (1996) ACM SIGPLAN Notices , vol.31 , Issue.6 , pp. 226-238
- Caspi, P.¹ Pouzet, M.²

5
- 33746596904
- Frappé: Functional reactive programming in Java
- Proceedings of Symposium on Practical Aspects of Declarative Languages. ACM, 2001
- Courtney, A.¹

6
- 0003063643
- PhD thesis, The University of Nottingham, December
- (1999) A Semantics for Functions and Behaviours
- Daniels, A.C.¹

7
- 0003451340
- Progress in Theoretical Computer Science. Birkhäuser
- (1995) Isomorphisms of Types: From λ-Calculus to Information Retrieval and Language Design
- Di Cosmo, R.¹

8
- 33749712751
- Modeling interactive 3D and multimedia animation with an embedded language
- USENIX, October
- (1997) Proceedings of the First Conference on Domain-Specific Languages , pp. 285-296
- Elliott, C.¹

9
- 0030676685
- Functional reactive animation
- June
- (1997) International Conference on Functional Programming , pp. 163-173
- Elliott, C.¹ Hudak, P.²

10
- 84935280957
- Signal: A declarative language for synchronous programming of real-time systems
- In Gilles Kahn, editor; edited by G. Goos and J. Hartmanis; Springer-Verlag
- (1987) Functional Programming Languages and Computer Architecture, Volume 274 of Lect Notes in Computer Science , pp. 257-277
- Gautier, T.¹ Le Guernic, P.² Besnard, L.³

11
- 0002922753
- The theory of hybrid automata
- Technical report, University of California, Berkeley
- (1996)
- Henzinger, T.A.¹

12
- 0000531903
- A type system for bounded space and functional in-place update
- Springer-Verlag
- (2000) European Symposium on Programming (ESOP), Lecture Notes in Computer Science
- Hofmann, M.¹

13
- 84969385445
- Report on the programming language Haskell, A non-strict purely functional language (version 1.2)
- P. Hudak, S. Peyton Jones, and P. Wadler (editors); May
- (1992) ACM SIGPLAN Notices , vol.27 , Issue.5

14
- 0003048013
- Building domain specific embedded languages
- ACM Computing Surveys, 28A: (electronic), December 1996
- Hudak, P.¹

15
- 0031676175
- Modular domain specific languages and tools
- IEEE Computer Society, June
- (1998) Proceedings of Fifth International Conference on Software Reuse , pp. 134-142
- Hudak, P.¹

16
- 0003501474
- Cambridge University Press, New York
- (2000) The Haskell School of Expression Learning Functional Programming Through Multimedia
- Hudak, P.¹

17
- 0033751744
- Generalising monads to arrows
- May
- (2000) Science of Computer Programming , vol.37 , pp. 67-111
- Hughes, J.¹

18
- 0013115226
- Recursion and dynamic data-structures in bounded space: Towards embedded ML programming
- N.Y., September 27-29; ACM Press
- (1999) Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP-99), Volume 34.9 of ACM Sigplan Notices , pp. 70-81
- Hughes, J.¹ Pareto, L.²

19
- 0029717391
- Proving the correctness of reactive systems using sized types
- In Guy L. Steele Jr, editor; St Petersburg, Florida; ACM Press
- (1996) Proceedings of the ACM Symposium on Principles of Programming Languages (POPL) , vol.23
- Hughes, J.¹ Pareto, L.² Sabry, A.³

20
- 4243913524
- Real-time reactive programming for embedded controllers
- Available from author's home page, March
- (2001)
- Kieburtz, R.¹

21
- 12844276980
- Implementing closed domain-specific languages
- (2000) Semantics, Applications, and Implementation of Program Generation, Volume 1924 of Lecture Notes in Computer Science , pp. 1-2
- Kieburtz, R.B.¹

22
- 0003062007
- O. (Oded) Maler, editor; New York, NY, USA; Springer-Verlag
- (1997) Hybrid and Real-Time Systems: International Workshop, HART '97, Grenoble, France, March 26-28, 1997: Proceedings, Volume 1201 of Lecture Notes in Computer Science

23
- 84957883060
- An idealized MetaML: Simpler, and more expressive
- Springer-Verlag
- (1999) European Symposium on Programming (ESOP), Volume 1576 of Lecture Notes in Computer Science , pp. 193-207
- Moggi, E.¹ Taha, W.² Benaissa, Z.E.-A.³ Sheard, T.⁴

24
- 35248820966
- Can safe recursion be interpreted in light logic?
- Second International Workshop on Implicit Computational Complexity, Santa Barbara, June 200
- Murawski, A.S.¹ Ong, C.-H.L.²

25
- 84974528013
- A statically allocated parallel functional language
- (2000) Automata, Languages and Programming , pp. 37-48
- Mycroft, A.¹ Sharp, R.²

26
- 0002997514
- Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291 -1000, USA; Last viewed August
- (1999)

27
- 0032640415
- A language for declarative robotic programming
- International Conference on Robotics and Automation, 1999
- Peterson, J.¹ Hager, G.² Hudak, P.³

28
- 0001777720
- Lambda in motion: Controlling robots with haskell
- First International Workshop on Practical Aspects of Declarative Languages. SIGPLAN, Jan 1999
- Peterson, J.¹ Hudak, P.² Elliott, C.³

29
- 0003931061
- A structural approach to operational semantics
- Technical report, Computer Science Department, Aarhus University
- (1981)
- Plotkin, G.¹

30
- 84909891396
- The revised report on the algorithmic language scheme
- December
- (1986) SIGPLAN Notices , vol.21 , Issue.12 , pp. 37-79

31
- 0032668897
- Prototyping real-time vision systems: An experiment in DSL design
- Proc. Int'l Conference on Software Engineering, May 1999
- Reid, A.¹ Peterson, J.² Hager, G.³ Hudak, P.⁴

32
- 84976684689
- CML: A higher-order concurrent language
- (1991) Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation , pp. 293-305
- Reppy, J.H.¹

33
- 0034545780
- FranTk - A declarative GUI language for Haskell
- Montreal, Canada, September; ACM
- (2000) Proceedings of Fifth ACM SIGPLAN International Conference on Functional Programming , pp. 106-118
- Sage, M.¹

34
- 0003376597
- A naïve time analysis and its theory of cost equivalence
- (1995) Journal of Logic and Computation , vol.5 , Issue.4 , pp. 495-541
- Sands, D.¹

35
- 0003678579
- PhD thesis, Oregon Graduate Institute of Science and Technology; Available from [26]
- (1999) Multi-Stage Programming: Its Theory and Applications
- Taha, W.¹

36
- 0003979119
- Walid Taha, editor; Montréal; Springer-Verlag
- (2000) Semantics, Applications, and Implementation of Program Generation, Volume 1924 of Lecture Notes in Computer Science

37
- 84878618120
- Multi-stage programming: Axiomatization and type-safety
- Aalborg
- (1998) 25th International Colloquium on Automata, Languages, and Programming (ICALP), Volume 1443 of Lecture Notes in Computer Science , pp. 918-929
- Taha, W.¹ Benaissa, Z.-E.-A.² Sheard, T.³

38
- 0003763496
- Academic Press U.K.
- (1985) Lucid, the Dataflow Programming Language
- Wadge, W.W.¹ Ashcroft, E.A.²

39
- 85088173199
- Functional reactive programming from first principles
- Proceedings of Symposium on Programming Language Design and Implementation. ACM, 2000
- Wan, Z.¹ Hudak, P.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.