Jump to content

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

From Wikipedia, the free encyclopedia

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]