Perl

Research Frontiers in Subroutine Signature Verification Methods

Formal methods for verifying Perl subroutine signatures, parameter counts, and type correctness through static and dynamic analysis.

All Perl PhD categories