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
Hypersequential programming : A new way to develop concurrent programs. / Uchihira, Naoshi; Honiden, Shinichi; Seki, Toshibumi.
In: IEEE Concurrency, Vol. 5, No. 3, 01.07.1997, p. 44-54.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Hypersequential programming
T2 - A new way to develop concurrent programs
AU - Uchihira, Naoshi
AU - Honiden, Shinichi
AU - Seki, Toshibumi
PY - 1997/7/1
Y1 - 1997/7/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0031191918&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0031191918&partnerID=8YFLogxK
U2 - 10.1109/4434.605918
DO - 10.1109/4434.605918
M3 - Article
AN - SCOPUS:0031191918
VL - 5
SP - 44
EP - 54
JO - IEEE Concurrency
JF - IEEE Concurrency
SN - 1092-3063
IS - 3
ER -