Abstract
Hypersequential programming can produce a highly reliable concurrent program, by precluding the injection of harmful nondeterminism. This method serializes, the program to remove all types of nondeterminism (intended, harmful, and persistent). The programmer debugs it as a serial program. Then it is parallelized by restoring only intended and persistent nondeterminism.
| Original language | English |
|---|---|
| Pages (from-to) | 44-54 |
| Number of pages | 11 |
| Journal | IEEE Concurrency |
| Volume | 5 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1997 Jul 1 |
ASJC Scopus subject areas
- Engineering(all)
Cite this
Uchihira, N., Honiden, S., & Seki, T. (1997). Hypersequential programming: A new way to develop concurrent programs. IEEE Concurrency, 5(3), 44-54. https://doi.org/10.1109/4434.605918