Publication | Closed Access

Towards a theory of the comprehension of computer programs

ReasoningComputer ProgramsEngineeringAutomated ReasoningProgram AnalysisProgram ComprehensionComputer ScienceLanguage StudiesSemanticsProgramming MethodologyLinguisticsSoftware DesignPhilosophy Of Computer Science