메뉴 건너뛰기




Volumn 44, Issue 9, 2009, Pages 35-46

Causal commutative arrows and their optimization

Author keywords

Arrows; Dataflow language; Functional programming; Functional reactiveprogramming; Programoptimization; Stream processing

Indexed keywords

BENCHMARKING; CALCULATIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROL SYSTEM SYNTHESIS; DIFFERENTIATION (CALCULUS); GRAPHICAL USER INTERFACES; PROBLEM ORIENTED LANGUAGES; SIGNAL PROCESSING;

EID: 70350437962     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1631687.1596559     Document Type: Conference Paper
Times cited : (21)

References (43)
  • 3
    • 0031606026 scopus 로고    scopus 로고
    • Lava: Hardware design in haskell
    • Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in haskell. In ICFP, pages 174-184, 1998.
    • (1998) ICFP , pp. 174-184
    • Bjesse, P.1    Claessen, K.2    Sheeran, M.3    Singh, S.4
  • 5
    • 19044396240 scopus 로고    scopus 로고
    • A Co-iterative Characterization of Synchronous Stream Functions
    • Electronic Notes in Theoretical Computer Science, March, Extended version available as a VERIMAG tech. report no. 97-07 at www.lri.fr/∼pouzet
    • Paul Caspi and Marc Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. In Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, March 1998, Extended version available as a VERIMAG tech. report no. 97-07 at www.lri.fr/∼pouzet.
    • (1998) Coalgebraic Methods in Computer Science (CMCS'98)
    • Caspi, P.1    Pouzet, M.2
  • 14
    • 78049442327 scopus 로고
    • A method for synthesizing sequential circuits
    • G. H. Mealy. A method for synthesizing sequential circuits. Bell System Technical Journal, 34(5):1045-1079, 1955.
    • (1955) Bell System Technical Journal , vol.34 , Issue.5 , pp. 1045-1079
    • Mealy, G.H.1
  • 18
    • 84887367427 scopus 로고    scopus 로고
    • Hporter: Using arrows to compose parallel processes
    • Springer Verlag LNCS 4354, January
    • L. Huang, P. Hudak, and J. Peterson. Hporter: Using arrows to compose parallel processes. In Proc. Practical Aspects of Declarative Languages, pages 275-289. Springer Verlag LNCS 4354, January 2007.
    • (2007) Proc. Practical Aspects of Declarative Languages , pp. 275-289
    • Huang, L.1    Hudak, P.2    Peterson, J.3
  • 19
    • 0001082611 scopus 로고    scopus 로고
    • Building domain specific embedded languages
    • 28A:(electronic), December
    • P. Hudak. Building domain specific embedded languages. ACM Computing Surveys, 28A:(electronic), December 1996.
    • (1996) ACM Computing Surveys
    • Hudak, P.1
  • 23
    • 0033751744 scopus 로고    scopus 로고
    • Generalising monads to arrows
    • May
    • John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
    • (2000) Science of Computer Programming , vol.37 , pp. 67-111
    • Hughes, J.1
  • 25
    • 70350520835 scopus 로고    scopus 로고
    • Polytypic compact printing and parsing
    • Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In ESOP, pages 273-287, 1999.
    • (1999) ESOP , pp. 273-287
    • Jansson, P.1    Jeuring, J.2
  • 26
    • 70350489804 scopus 로고    scopus 로고
    • The arrow calculus (functional pearl)
    • Sam Lindley, Philip Wadler, and Jeremy Yallop. The arrow calculus (functional pearl). Draft, 2008.
    • (2008) Draft
    • Lindley, S.1    Wadler, P.2    Yallop, J.3
  • 28
    • 36749025106 scopus 로고    scopus 로고
    • Applicative programming with effects
    • Conor McBride and Ross Paterson. Applicative programming with effects. J. Funct. Program., 18(1):1-13, 2008.
    • (2008) J. Funct. Program , vol.18 , Issue.1 , pp. 1-13
    • Mcbride, C.1    Paterson, R.2
  • 29
    • 0026188821 scopus 로고
    • Notions of computation and monads
    • Eugenio Moggi. Notions of computation and monads. Inf. Comput., 93(1):55-92, 1991.
    • (1991) Inf. Comput , vol.93 , Issue.1 , pp. 55-92
    • Moggi, E.1
  • 30
    • 33745213154 scopus 로고    scopus 로고
    • Dynamic optimization for functional reactive programming using generalized algebraic data types
    • Henrik Nilsson. Dynamic optimization for functional reactive programming using generalized algebraic data types. In ICFP, pages 54-65, 2005.
    • (2005) ICFP , pp. 54-65
    • Nilsson, H.1
  • 35
    • 35248855046 scopus 로고    scopus 로고
    • Department of Computer Science, Yale University, January, Available at
    • John Peterson, Zhanyong Wan, Paul Hudak, and Henrik Nilsson. Yale FRP User's Manual. Department of Computer Science, Yale University, January 2001. Availableathttp://www.haskell.org/frp/manual.html.
    • (2001) Yale FRP User's Manual
    • Peterson, J.1    Wan, Z.2    Hudak, P.3    Nilsson, H.4
  • 36
    • 0037241422 scopus 로고    scopus 로고
    • The Haskell 98 language and libraries: The revised report
    • Jan
    • Simon Peyton Jones et al. The Haskell 98 language and libraries: The revised report. Journal of Functional Programming, 13(1):0-255, Jan 2003. http://www.haskell.org/definition/.
    • (2003) Journal of Functional Programming , vol.13 , Issue.1 , pp. 0-255
    • Jones, S.P.1
  • 37
    • 84887440542 scopus 로고    scopus 로고
    • Closed freyd- and kappa-categories
    • John Power and Hayo Thielecke. Closed freyd- and kappa-categories. In ICALP, pages 625-634, 1999.
    • (1999) ICALP , pp. 625-634
    • Power, J.1    Thielecke, H.2
  • 38
    • 33746764422 scopus 로고    scopus 로고
    • Algebraic specification and coalgebraic synthesis of mealy automata
    • Jan J.M.M. Rutten. Algebraic specification and coalgebraic synthesis of mealy automata. Electr. Notes Theor. Comput. Sci, 160:305-319, 2006.
    • (2006) Electr. Notes Theor. Comput. Sci , vol.160 , pp. 305-319
    • Rutten., J.J.M.M.1
  • 39
    • 0031295210 scopus 로고    scopus 로고
    • A survey of stream processing
    • Robert Stephens. A survey of stream processing. Acta Informatica, 34(7):491-541, 1997.
    • (1997) Acta Informatica , vol.34 , Issue.7 , pp. 491-541
    • Stephens, R.1


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