• DocumentCode
    1214530
  • Title

    NewSpeak: an unexceptional language

  • Author

    Currie, I.F.

  • Author_Institution
    Royal Signals and Radar Establishment, Malvern, UK
  • Volume
    1
  • Issue
    4
  • fYear
    1986
  • fDate
    7/1/1986 12:00:00 AM
  • Firstpage
    170
  • Lastpage
    176
  • Abstract
    NewSpeak is a language designed for use in safety-critical programs. It tries to limit the freedom of the programmer to the kind of ideas in programming that are reasonably easy to formalise, without making these restrictions unduly onerous. Its principal characteristic is that it has no exceptional values or states. Incorrect constructions which would lead to exceptional behaviour, such as range violations or numerical overflow, are all dealt with at compile time.
  • Keywords
    high level languages; safety; NewSpeak; compile time; numerical overflow; range violation; safety-critical programs;
  • fLanguage
    English
  • Journal_Title
    Software Engineering Journal
  • Publisher
    iet
  • ISSN
    0268-6961
  • Type

    jour

  • DOI
    10.1049/sej.1986.0027
  • Filename
    4807690
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1214530