Hypersequential programming: A new way to develop concurrent programs

Naoshi Uchihira*, Shinichi Honiden, Toshibumi Seki

*この研究の対応する著者

研究成果: Article査読

13 被引用数 (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.

本文言語English
ページ(範囲)44-54
ページ数11
ジャーナルIEEE Concurrency
5
3
DOI
出版ステータスPublished - 1997 7

ASJC Scopus subject areas

  • 工学(全般)

引用スタイル