A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.

Grazyna Mirkowska, Andrzej Salwicki

Browse the full MFCS paper archive.