Program Sketching Using Lifted Analysis for Numerical Program Families
Aleksandar S. Dimovski, Sven Apel, Axel Legay
Topics & Concepts
SketchComputer scienceProgram analysisDomain (mathematical analysis)Abstract interpretationNumerical analysisStatic analysisCode (set theory)Base (topology)ENCODEAlgorithmComputer programTheoretical computer scienceProgramming languageMathematicsChemistryBiochemistryMathematical analysisGeneSet (abstract data type)Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research