STRUM(ID:741/str025)

Algol-like microprogramming language for the Burroughs D Machine.
Related languages
STRUM => S*   strong Influence
STRUM => STRUM2   Evolution of
References:
  • Patterson, D.A. "STRUM: A Structured Microprogram Development System for Correct Firmware", IEEE Trans Comput C25(10) 1976 pp974-985 view details Abstract: An approach to the development of correct micro programs is to use the methodologies that have been beneficial in the generation of correct user programs i.e.. structured programming, high-level language; (HLL's), and formal program verification using Floyd's inductive assertion method. This paper pres ents a system that combines these techniques tc simplify the design and implementation of correct microprograms for a real microprogrammable com puter. It gives some statistics which support our emphasis on generation as well as correctness and some preliminary results on the use of our system.
  • Marleen, Sint "A survey of high level microprogramming languages" pp141-153 view details Extract: STRUM
    Strum can be considered a somewhat less general forerunner of S* as far as its design goals are concerned. Its primitives are based on the Burroughs D-machine. Programs are developed together with their proofs; they should contain assertions which can be used to generate verification formulas, the validity of which can be checked by an automatic verifier. A nonoptimizing compiler was completed.

          in Proceedings of the 13th International Symposium on Microarchitecture Springs, Colorado, United States 1980 view details