Axioms for the Term-Wise Correctness of Programs.

Stefan Sokolowski

Published in: MFCS (1981)

Keyphrases

provably correct
pairwise
knowledge base
automatic programming
first order logic
regularization term
fixpoint
databases
neural network
information retrieval
high level
information technology
real time
answer sets
graph model
control program
data sets