Abstract
A data-flow framework for symbolic symbolic reaching definitions analysis is presented. It produces a more accurate solution of the reaching definitions problem than can be achieved with "classic" data-flow analysis, which is very important for safety-related applications.
| Original language | English |
|---|---|
| Title of host publication | Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings |
| Editors | Lars Asplund |
| Publisher | Springer Verlag |
| Pages | 238-250 |
| Number of pages | 13 |
| ISBN (Print) | 3540645365, 9783540645368 |
| DOIs | |
| Publication status | Published - 1998 |
| Event | 3rd International Conference on Reliable Software Technologies, Ada-Europe 1998 - Uppsala, Sweden Duration: 1998 Jun 8 → 1998 Jun 12 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1411 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Other
| Other | 3rd International Conference on Reliable Software Technologies, Ada-Europe 1998 |
|---|---|
| Country/Territory | Sweden |
| City | Uppsala |
| Period | 98/6/8 → 98/6/12 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1998.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)