Is "some-other-time" sometimes better than "sometime" for proving partial correctness of programs?

Published in: Stud Logica (1988)

Keyphrases

provably correct
data sets
genetic algorithm
artificial intelligence
information retrieval
case study
objective function
learning environment
computer programs
automatic programming