Perl

Research Frontiers in Perl Program Equivalence and Refactoring Verification

Formal techniques for verifying that refactored Perl code maintains semantic equivalence with the original implementation.

All Perl PhD categories