Data dependencies and program slicing: from syntax to abstract semantics.

Isabella Mastroeni Damiano Zanardini

Published in: PEPM (2008)

Keyphrases

data dependencies
program slicing
relational databases
description languages
normal form
functional dependencies
high level
source code
multi valued
formal verification
fault localization
multi agent systems
conceptual graphs