A long-term research goal for Aspect-Oriented Programming is the modular verification of aspects such that safe evolution and reuse is facilitated. However, one of the fundamental problems with verifying aspect-oriented programs is the inability to determine the effect of the weaving process on the control flow of the program, and thus on the state of the system and subsequently the properties ...

Recently Hochstättler and Nešetřil [3] introduced the flow lattice of an oriented matroid as generalization of the lattice of all integer flows of a digraph or more general a regular matroid. This lattice is defined as the integer hull of the characteristic vectors of signed circuits. We describe the structure and the dimension of the flow lattice for uniform and rank 3 oriented matroids and co...

Recently, Goddyn, Hochstättler and Hliněný proved that the oriented flow number introduced by Goddy, Tarsi and Zhang for an oriented matroid of rank r is bounded by 14r2 ln r. We improve this bound by showing that any oriented matroid without a coloop admits a reorientation such the imbalance of each covector is at most 3r − 1. In particular this yields a new upper bound for the oriented flow n...