SAFE: A Programming Language for Software Quality

Abstract

A heavy responsibility for ensuring the quality of programs currently rests with progranuners. Existing languages do little to reduce this burden.Here a new imperative programming language called SAFE is introduced, which is designed to facilitate the construction of quality software. It shifts much of the unnecessary responsibility for ensuring quality away from the programmer and into the language.

Software Quality and Productivity Improvement

“…The language SAFE which seeks to respond to the quality-support deficiencies with existing languages is discussed elsewhere [13).…”