추상 해석
Sign in to saveapproach to static program analysis
In the Vinony graph
Vinony's link graph records 111 inbound references to 추상 해석, and connects out to operational semantics, polyhedron and programming language semantics.
It is catalogued under topics including Abstract interpretation and Program analysis.
Vinony links it to 9 Wikipedia language editions.
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
C
Entity
Python
Entity
multiplication
Entity
real number
Entity
computer program
Entity
digital object identifier
Entity
compiler
Entity
semantics
Entity
abstraction
Entity
assembly language
Entity