Construction of Abstract Domains for Heterogeneous Properties (Position Paper).

Xavier Rival Antoine Toubhans Bor-Yuh Evan Chang

Published in: ISoLA (2) (2014)

Keyphrases

application domains
information systems
database
high level
search space
future directions
structural properties
domain specific