NSTO Programs (Not Subject to Occur-Check).

Pierre Deransart Gérard Ferrand Michel Téguia

Published in: ISLP (1991)

Keyphrases

provably correct
neural network
decision making
computer programs
automatic programming
databases
multiscale
information technology
relational databases
special case
probabilistic model
fixpoint
stable models
program execution
control structures
free software