Axiomatization of if-then-else over monoids of possibly non-halting programs and tests.

Gayatri Panicker Kanduru V. Krishna Purandar Bhaduri

Published in: CoRR (2017)

Keyphrases

computer programs
situation calculus
software engineering
statistical tests
control structures
genetic algorithm
e learning
case study
control flow
intermediate level
provably correct
prolog programs