Abstract interpretationAliasing (computing)Dynamic program analysisEffect systemFlow-sensitive typingKPI-driven code analysisMetacompilerPerl::CriticPolyvarianceProgram analysisProgram slicingReaching definitionSearch-based software engineeringSemantic analysis (compilers)Static program analysisSteensgaard's algorithmType ruleType systemTyping environmentUse-define chain
subject
Wikipage page ID
30,677,141
Wikipage revision ID
548,675,049
type
label
Program analysis
@en
prefLabel
Program analysis
@en