Towards a Formal Semantics-Based Technique for Interprocedural Slicing.

Irina Mariuca Asavoae, Mihail Asavoae, Adrin Riesco

Browse the full IFM paper archive.