Incremental Evaluation of Natural Semantics Specification.

Isabelle Attali Jacques Chazarain Serge Gilette

Published in: PLILP (1992)

Keyphrases

specification language
high level
evaluation process
data driven
semantic information
conceptual model
databases
specification languages
operational semantics
logic programming
formal specification
formal semantics
evaluation criteria
logic programs
conceptual schema
action language
attribute grammars
database