Title: Approaches to improved program validation through programming language design
Subjects: Computer programs, Debugging in computer science, Programming languages (Electronic computers), Testing