User:Dib492/NewSpeak (safety-critical programming language)

Key facts

edit
  • programming language designed from scratch with the needs of high-integrity / safety-critical software systems in mind
  • intentionally and intrinsically based on the Orwellian concept of eliminating “Thoughtcrimes” through Newspeak
  • designed in 1984 by Ian Currie[specify]; who else?

References

edit

(any others?):

  • NewSpeak: …[specify]. I. F. Currie. RSRE Memorandum[specify] (1984)
  • journal article Currie I.F. NewSpeak: an unexceptional language Software Engineering Journal July 1986 pp 170-176
  • chapter 6: NewSpeak: a reliable programming language. I. F. Currie. pp. 122–158 in High-integrity Software. C. T. Sennett (editor). Pitman [Computer Systems series]. 1989. ISBN 0-273-03158-9 (cased) / ISBN 0-273-03000-0 (paperback).

(not to be confused with)

edit




(notes w.r.t. disambiguation)

edit