Learn More
The notion of program correctness with respect to an interpretation is defined for a class of programming languages. Under this definition, if a program terminates with an incorrect output then it(More)
I was intriqued by Mahadeva Rao's paper in SIGART #82 on an algorithm for playing mastermind, and its Pascal implementation. In this note I suggest a simpler algorithm for playing mastermind, and(More)
The abstract setting in which the system operates, and from which it derives its name, is the fol lowing the system is intially given some first order language L„ I here is some unknown model M f or(More)
  • 1