Hypersequential programming: A new way to develop concurrent programs

Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki

Research output: Contribution to journalArticle

13 Citations (Scopus)

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

ASJC Scopus subject areas

  • Engineering(all)

Cite this