Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge.

Javed I. Khan, Isao Miyamoto

Browse the full SEKE paper archive.