Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property

Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee and Andrew Christopher Mihal

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2006-48
May 9, 2006

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

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.


BibTeX citation:

@techreport{Cataldo:EECS-2006-48,
    Author = {Cataldo, Adam and Cheong, Elaine and Feng, Thomas Huining and Lee, Edward A. and Mihal, Andrew Christopher},
    Title = {A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2006},
    Month = {May},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-48.html},
    Number = {UCB/EECS-2006-48},
    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 <i>higher-order composition languages</i> as a way to specify these actor-oriented models.  The key to these languages is the ability to succinctly specify configurations with <i>higher-order parameters</i>---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.}
}

EndNote citation:

%0 Report
%A Cataldo, Adam
%A Cheong, Elaine
%A Feng, Thomas Huining
%A Lee, Edward A.
%A Mihal, Andrew Christopher
%T A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property
%I EECS Department, University of California, Berkeley
%D 2006
%8 May 9
%@ UCB/EECS-2006-48
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-48.html
%F Cataldo:EECS-2006-48