A Program Logic for Dependence Analysis.

Richard Bubel Reiner Hähnle Asmae Heydari Tabar

Published in: IFM (2019)

Keyphrases

relational databases
data analysis
database
real time
real world
information systems
website
search algorithm
static analysis