By the 1730's, reworking old music had become a compositional way of life for Bach.
It's a little bit like a Minimalist idea, a very modern compositional way of thinking.
Argos is a set of operators that allow to combine Boolean Mealy machines, in a compositional way.
In this paper, we propose a timed extension of modal specifications, together with fundamental operations (conjunction, product, and quotient) that enable reasoning in a compositional way about timed system.
Moreover, it generally does this in a compositional way: complex programs have their denotations fixed in terms of the denotations of their syntactic parts.
It just that, unlike (2), it is not produced in a compositional way from (1), since rearranging the brackets is not an operation that can be reflected at the semantical level (compare the entry on compositionality).
In the first one, a sentence DRS was constructed in a compositional way; this part of the construction process we took for granted, but its implementation wouldn't be too difficult.
Similarly, if we want to translate our full sample discourse we have to 'break open' our previous results again to produce: This last translation is clearly not obtained in a compositional way from Geach's donkey sentence (see Geach 1962 (Third revised edition: 1980), and the entry on anaphora).
1.4, for a proof that there does not exist a semantics assigning individuals or sets of individuals even to phrases of the two forms all A and some B in a systematic (compositional) way. 5. Some such properties were considered even in the early days of predicate logic, for example, the quantifier ∃! meaning 'there exists exactly one.' (see section 6 for the notation on the right-hand side).
Most critically, software systems speak about the passage of time only very indirectly and in non-compositional ways.
