interpretation of path languages Let L = (2Act,⊆,∪,∩, ∅,Act∗) be the complete lattice of languages over Act An abstraction consists of an abstract lattice D = (D,v,t,u,⊥,>), and a Galois connection L α γ D γ(α(L)) ⊇ L (A ⊇ L) γ(d1 u d2) = γ(d1) ∩ γ(d2) (u matches ∩) α(L) is the abstract object representing the language A ⊇ L γ(α(L)) is the language A 16 An abstraction α1(L) is the pair [F ,R], ...

Objective To determine the extent to which changes in knee range of motion (ROM) after a stretching program are related to sensory factors at the time of testing and the amount of force used during the measurement of ROM, rather than changes in soft-tissue properties. Design Randomized, single-blind design. Participants were randomly assigned to a control or stretching group. Setting Resear...

We use various kinds of static analyses to identify problems that decrease the quality of our system. In many cases, however, the number of reported problems is huge—preventing us from solving these problems due to a lack of resources or motivation. We suggest a technique called “delta analysis” together with a simple behavioral rule that allows to deal with large numbers of problems and gradua...