The process of running a program (or evaluating a λ-term) can either yield a result / value, get stuck (waiting for input), yield an error, or go on forever. Those that yield a result / value are called ??? / valuable.
While this does not correspond to the usual meanings of the word valuable, the fact that the word already exists and that the -able suffix is often used to mean "capable of", using valuable to mean "capable of becoming a value" feels quite natural.
Unfortunately, in my context, the term value is already used for something else and I therefore need another word to express the same thing. I have been using result but resultable sounds really weird.
I am therefore searching for two words A and B such that:
- an A is some sort of result (not including things that are stuck, but possibly including errors)
- A and B are clearly related
- B can be understood as "is capable of becoming an A" / "can become an A" / "can be evaluated to an A"
(A could also be an adjective, in which case "an A" should be replaced by "an A program" in the last item of the list)