Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.

Aloïs Brunel Antoine Madet

Published in: APLAS (2012)

Keyphrases

programming language
data sets
databases
logic programs
deductive databases
programming environment
fixpoint
machine learning
case study
database systems
bayesian networks
software engineering
information retrieval systems
nonmonotonic reasoning