name. We compute demand in terms of abstract names. The abstract names of an access expression α are normalized access expressions obtained by • eliminating pointer indirections (∗ and→) in α by their pointee variables in A, and • replacing the variables by its type in case of type-based abstraction. Let x be a pointer to an object,y be a pointer to a pointer to an object and a be an object of ...

operators To verify Aμ-formulas, we need to abstract the operators. For each p in Π, let π(p) be an element of P ] such that π(p) ⊆ γ(π(p)), and π(p) an element of P ] such that Σ\π(p) ⊆ γ(π(p)). For each subset I of P, we define the abstract controllable predecessor relation CPre]I ∈ P ] → P ] and the abstract uncontrollable predecessor relation UPre ] I ∈ P ] → P . These relations must satisf...

The chemical structures of AT2433-A1 (2), AT2433-A2 (3), AT2433-B1 (4) and AT2433-B2 (5) were elucidated by degradation and spectroscopic studies. Compounds 2-5 are disaccharides closely related to rebeccamycin. The aglycone in 2 and 3 was determined to be 6-N-methyl-11-chloro-5H-indolo[2,3-a]pyrolo[3,4-c]carbazole and in 4 and 5 it was determined to be 6-N-methyl-5H-indolo[2,3-a]pyrolo[3,4-c]c...