Algebraic Higher-Abstraction for Software Refactoring Automation.

Iaakov Exman, Alexey Nechaev

Browse the full SEKE paper archive.