Hypersequential programming: A new way to develop concurrent programs

Naoshi Uchihira*, Shinichi Honiden, Toshibumi Seki

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)


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 languageEnglish
Pages (from-to)44-54
Number of pages11
JournalIEEE Concurrency
Issue number3
Publication statusPublished - 1997 Jul

ASJC Scopus subject areas

  • Engineering(all)

Cite this