Citation
Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee, Andrew Mihal. "A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property". Technical report, EECS Dept., University of California, Berkeley, 48, May, 2006.

Abstract
In actor-oriented design, programmers make hierarchical compositions of concurrent components. As embedded systems become increasingly complex, these compositions become correspondingly complex in the number of actors, the depth of hierarchies, and the connections between ports. We propose higher-order composition languages as a way to specify these actor-oriented models. The key to these languages is the ability to succinctly specify configurations with higher-order parameters---parameters that themselves might be configurations. We present a formalism which allows us to describe arbitrarily complex configurations of components with higher-order parameters. This formalism is an extension of the standard lambda calculus.

Electronic downloads

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-48.html

• HTML

  Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A.
  Lee, Andrew Mihal. <a
  href="http://chess.eecs.berkeley.edu/pubs/84.html"
  ><i>A Formalism for Higher-Order Composition
  Languages that Satisfies the Church-Rosser
  Property</i></a>, Technical report,  EECS Dept.,
  University of California, Berkeley, 48, May, 2006.

• Plain text

  Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A.
  Lee, Andrew Mihal. "A Formalism for Higher-Order
  Composition Languages that Satisfies the Church-Rosser
  Property". Technical report,  EECS Dept., University of
  California, Berkeley, 48, May, 2006.

• BibTeX

  @techreport{CataldoCheongFengLeeMihal06_FormalismForHigherOrderCompositionLanguagesThatSatisfies,
      author = {Adam Cataldo and Elaine Cheong and Thomas Huining
                Feng and Edward A. Lee and Andrew Mihal},
      title = {A Formalism for Higher-Order Composition Languages
                that Satisfies the Church-Rosser Property},
      institution = {EECS Dept., University of California, Berkeley},
      number = {48},
      month = {May},
      year = {2006},
      abstract = {In actor-oriented design, programmers make
                hierarchical compositions of concurrent
                components. As embedded systems become
                increasingly complex, these compositions become
                correspondingly complex in the number of actors,
                the depth of hierarchies, and the connections
                between ports. We propose higher-order composition
                languages as a way to specify these actor-oriented
                models. The key to these languages is the ability
                to succinctly specify configurations with
                higher-order parameters---parameters that
                themselves might be configurations. We present a
                formalism which allows us to describe arbitrarily
                complex configurations of components with
                higher-order parameters. This formalism is an
                extension of the standard lambda calculus.},
      URL = {http://chess.eecs.berkeley.edu/pubs/84.html}
  }
  

Posted by Mary Stewart on 9 May 2006.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.