Publication | Closed Access

Correctness of programs with Pascal-like procedures without global variables

Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisGlobal VariablesFormal MethodsProgram SynthesisComputer ScienceEvaluation StrategySoftware AnalysisFormal Verification