abstract interpretation
Sign in to saveapproach to static program analysis
Connections
operational semantics
Entity
polyhedron
Entity
programming language semantics
Entity
static program analysis
Entity
dynamic program analysis
Entity
Isabelle
Entity
language
Entity
linguistics
Entity
computer science
Entity
International Standard Book Number
Entity
Q15777
Entity
Python
Entity
multiplication
Entity
real number
Entity
computer program
Entity
digital object identifier
Entity
compiler
Entity
semantics
Entity
abstraction
Entity
assembly language
Entity