抄録
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.
本文言語 | English |
---|---|
ページ(範囲) | 44-54 |
ページ数 | 11 |
ジャーナル | IEEE Concurrency |
巻 | 5 |
号 | 3 |
DOI | |
出版ステータス | Published - 1997 7月 |
ASJC Scopus subject areas
- 工学(全般)