Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification.

Gilles Barthe Juan Manuel Crespo César Kunz

Published in: LFCS (2013)

Keyphrases

relational databases
relational data
database language
life cycle
database schema
relational learning
computer programs
multi relational
databases and data warehouses
data warehouse
fixpoint
product quality
automatic programming
coal mining