COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
Presented contribution is dedicated to discussion of two different approaches into increase of programming language safety. They are language subset and extension of original safety mechanisms. As examples we used MISRA C/C++ subset and SPARK language builded on the base of ADA language. In the last...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Czech Technical University in Prague
2017-08-01
|
| Series: | Acta Polytechnica CTU Proceedings |
| Subjects: | |
| Online Access: | https://ojs.cvut.cz/ojs/index.php/APP/article/view/4437 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|