EntityQ1413145· pop 5· linked from 29 articlesProgram slicingSign in to saveset of software engineering methodsConnectionsoperational semanticsEntitydynamic program analysisEntityprogram analysisEntityIsabelleEntityInternational Standard Book NumberEntityQ15777Entitycomputer programmingEntitydigital object identifierEntityInternational Standard Serial NumberEntitydata structureEntityTuring machineEntitysoftware testingEntitylambda calculusEntityfinite-state machineEntityAssociation for Computing MachineryEntityQ845566EntityQ22908627Entitytype systemEntityinvariantEntitysoftware maintenanceEntityCategoriesDebuggingProgram analysisProgram transformation