메뉴 건너뛰기




Volumn , Issue , 2007, Pages 71-80

Lowering: A static optimization technique for transparent functional reactivity

Author keywords

FRP; FrTime; Functional programming; Lifting; Lowering; Optimization; Reactive programming; Scheme; Static analysis

Indexed keywords

DATAFLOW EVALUATION; FRTIME; FUNCTIONAL REACTIVE PROGRAMMING (FRP); REACTIVE PROGRAMMING; STATIC OPTIMIZATION TECHNIQUES;

EID: 35348903812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244381.1244393     Document Type: Conference Paper
Times cited : (16)

References (22)
  • 2
    • 0026223069 scopus 로고
    • Synchronous programming with events and relations: The SIGNAL language and its semantics
    • 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.
    • (1991) Science of Computer Programming , vol.16 , Issue.2 , pp. 103-149
    • Benveniste, A.1    Guernic, P.L.2    Jacquemot, C.3
  • 6
    • 84949220716 scopus 로고    scopus 로고
    • Frappé: Functional reactive programming in Java
    • Springer-Verlag, March
    • A. Courtney. Frappé: Functional reactive programming in Java. In Practical Aspects of Declarative Languages, pages 29-44. Springer-Verlag, March 2001.
    • (2001) Practical Aspects of Declarative Languages , pp. 29-44
    • Courtney, A.1
  • 14
    • 33745849435 scopus 로고    scopus 로고
    • Dynamic optimization for functional reactive programming using generalized
    • abstract data types
    • H. Nilsson. Dynamic optimization for functional reactive programming using generalized abstract data types. In ACM SIGPLAN International Conference on Functional Programming, pages 54-65, 2005.
    • (2005) ACM SIGPLAN International Conference on Functional Programming , pp. 54-65
    • Nilsson, H.1
  • 16
    • 0003267192 scopus 로고    scopus 로고
    • Compiling Haskell by transformation: A report from the trenches
    • S. L. Peyton Jones. Compiling Haskell by transformation: a report from the trenches. In European Symposium on Programming, pages 18-44, 1996.
    • (1996) European Symposium on Programming , pp. 18-44
    • Peyton Jones, S.L.1
  • 18
    • 0025444759 scopus 로고
    • Deforestation: Transforming programs to eliminate trees
    • P. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231248, 1990.
    • (1990) Theoretical Computer Science , vol.73 , pp. 231248
    • Wadler, P.1


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