Sciweavers

104
Voted
PASTE
1999
ACM
15 years 8 months ago
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...
150
Voted
PASTE
1999
ACM
15 years 8 months ago
Identifying Procedural Structure in Cobol Programs
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
John Field, G. Ramalingam