Language Design for Programming Reliability.

John D. Gannon James J. Horning

Published in: IEEE Trans. Software Eng. (1975)

Keyphrases

programming language
data sets
case study
design process
conceptual model
language learning
design principles
modeling language
database
e learning
control system
building blocks
operating system
design decisions
oriented programming