Perl

Research Frontiers in Perl Thread Safety and Concurrency Verification

Formal verification techniques and testing methodologies for detecting race conditions and ensuring thread safety in concurrent Perl code.

All Perl PhD categories