Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Reliable Software Technologies - Ada-Europe 1996 - 1996 Ada-Europe International Conference on Reliable Software Technologies, Proceedings |
| Editors | Alfred Strohmeier |
| Publisher | Springer Verlag |
| Pages | 330-341 |
| Number of pages | 12 |
| ISBN (Print) | 354061317X, 9783540613176 |
| DOIs | |
| 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 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1088 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Other
| Other | Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 1996 |
|---|---|
| Country/Territory | Switzerland |
| City | Montreux |
| Period | 96/6/10 → 96/6/14 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1996.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)