A composer may elect to use a set of compositional programs to produce a composition.
They can compose music (5,000 pieces in a morning, in the case of compositional program Emmy), create visual art, and have been writing poetry, of sorts, since 1983, when an experimental book called The Policeman's Beard is Half Constructed was written by a program called Racter.
Topics: unsupervised learning, structured prediction, statistical learning theory, grounded language acquisition, compositional semantics, program induction.
In component based software design, formal reasoning about programs has to be compositional, allowing global, program-wide properties to be inferred from the properties of its components.
Contract-based design is an expressive paradigm for a modular and compositional specification of programs.
We discuss an alternative design of the model including thread spawning and recursive definitions and we explore some basic properties of the revised model: determinism, reactivity, CPS translation to a tail recursive form, computational expressivity, and a compositional notion of program equivalence.
Moreover, it generally does this in a compositional way: complex programs have their denotations fixed in terms of the denotations of their syntactic parts.
Unlike the typical temporal logic specification of a program, our translation does not require a transition system model of the program, and is compositional on the structures of the program.
Fur- thermore, a linear complexity algorithm is offered for effi- cient inference of the compositional model using dynamic programming.
