milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
6
Abstract interpretation
Abstract interpretation
Concept
http://dbpedia.org/resource/Category:Abstract_interpretation
Abstract interpretation
Astrée (static analysis)
CPAchecker
Galois connection
Parasoft C/C++test
Polyspace
Symbolic execution
Widening (computer science)
subject
Abstract interpretation
Concept
http://dbpedia.org/resource/Category:Abstract_interpretation
Wikipage page ID
30,701,119
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
590,518,955
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Abstract interpretation
@en
sameAs
Q11721833
Q11721833
broader
Interpretation
Static program analysis
prefLabel
Abstract interpretation
@en
wasDerivedFrom
Category:Abstract_interpretation?oldid=590518955