Publication | Closed Access

Programming errors in traversal programs over structured data

Programming Language TheoryTraversal ProgramsEngineeringProgram AnalysisAbstract InterpretationFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationSymbolic Execution