Stark algorithm language(ID:5976/sta022)

Language for showing provable algorithms 

Richard Stark, Washington State, 1968

People:
References:
  • Stark, RH "On means to record algorithms to facilitate generation of error-free programs" WSU Computing Center Report 68-I view details
  • Stark RH "A language for algorithms" pp40-44 view details Abstract: A syntax for a language to express algorithms in a way which facilitates proofs of equivalence between algorithms as well as translation into computer programs is given and briefly justified.

    External link: Online copy
          in The Computer Journal 14(1) 1971 view details