Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas.
Sebastian DanicicRobert M. HieronsMichael R. LaurencePublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- conceptual schema
- semantically equivalent
- schema mappings
- programming language constructs
- formal semantics
- linear systems
- databases
- logic programming
- data integration
- control flow
- declarative semantics
- intended meaning
- stable model semantics
- model checking
- data exchange
- conceptual model
- source code
- database schema
- programming language
- object oriented
- database systems