Publication | Closed Access

Reasoning about programs in continuation-passing style

Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisAbstract InterpretationFormal MethodsContinuation-passing StyleComputer ScienceEvaluation StrategyFormal Verification