Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Topics & Concepts
Computer scienceProgramming languageAbstract interpretationPointer (user interface)Python (programming language)Modularity (biology)ExtensibilityReusePointer analysisTheoretical computer scienceStatic analysisArtificial intelligenceEcologyBiologyGeneticsLogic, programming, and type systemsSoftware Engineering ResearchParallel Computing and Optimization Techniques