The purpose of this paper is to present several additions to Ada95 which improve real-time properties of the language. In detail, we introduce a new kind of loops, so-called discrete loops, we show that recursion can be used for real-time applications without harm, if a few conditions are met, and we present an approach how the interface of a class can be augmented by information concerning the worst-case time and space behavior.
|Title of host publication||Reliable Software Technologies - Ada-Europe 1996 - 1996 Ada-Europe International Conference on Reliable Software Technologies, Proceedings|
|Number of pages||12|
|ISBN (Print)||354061317X, 9783540613176|
|Publication status||Published - 1996|
|Event||Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 1996 - Montreux, Switzerland|
Duration: 1996 Jun 10 → 1996 Jun 14
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Other||Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 1996|
|Period||96/6/10 → 96/6/14|
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)