The role of programming languages in the life-cycle of safe systems (1995)
| Venue: | Second Int. Conf. on Saftey Through Quality (STQ'95), Kennedy Space Center, Cape Canaveral |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Szyperski95therole,
author = {Clemens Szyperski and John Gough},
title = {The role of programming languages in the life-cycle of safe systems},
booktitle = {Second Int. Conf. on Saftey Through Quality (STQ'95), Kennedy Space Center, Cape Canaveral},
year = {1995}
}
OpenURL
Abstract
Safety as understood in the conference theme can be separated into the more technical terms of safety, progress, and security: nothing bad happens, the right things do happen, and things happen under proper authorization. All three interact to make a system \safe " in the broader sense. This article introduces to the degree of safety in the technical sense that can be directly supported by programming languages and their type systems in particular. From a generalized de nition of type a brief journey through contemporary type systems is taken and illustrated using examples from di erent programming languages. Finally, current trends and some novel approaches are presented. 1







