_:nb9886eeb8ed448ebba03bf94ae4d8e27xb0
<http://schema.org/keywords>
"Static analysis, Horn clauses, Abstraction, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]"
<https://www.mysciencework.com/publication/facets/keywords/%255BINFO.INFO-CL%255DComputer%2520Science%2520%255Bcs%255D%252FComputation%2520and%2520Language%2520%255Bcs.CL%255D>