Several lifted abstract domains for static analysis of numerical program families
Aleksandar S. Dimovski, Sven Apel, Axel Legay
Topics & Concepts
Computer scienceAbstract interpretationProperty (philosophy)Domain (mathematical analysis)TupleProgram analysisFeature (linguistics)Theoretical computer scienceStatic analysisParametric statisticsENCODEAlgorithmProgramming languageDiscrete mathematicsMathematicsStatisticsGeneEpistemologyMathematical analysisChemistryBiochemistryLinguisticsPhilosophySoftware Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research