A Logic for Schema-Based Program Development.

Martin C. Henson Steve Reeves

Published in: Formal Aspects Comput. (2003)

Keyphrases

data sets
data model
programming environments
databases
database
case study
knowledge based systems
development environment
knowledge management
logic programming
information processing
development process
static analysis
classical logic