Adding recursive constructs to bialgebraic semantics.

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases

formal semantics
semantic information
semantic representation
database
logic programming
databases
machine learning
genetic algorithm
default reasoning
transformation rules
language constructs
object oriented data models
logical language