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

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 journalArticle

Uchihira, Naoshi ; Honiden, Shinichi ; Seki, Toshibumi. / Hypersequential programming : A new way to develop concurrent programs. In: IEEE Concurrency. 1997 ; Vol. 5, No. 3. pp. 44-54.
@article{86ebd7a6a62042208ac84a7c08defd05,
title = "Hypersequential programming: A new way to develop concurrent programs",
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.",
author = "Naoshi Uchihira and Shinichi Honiden and Toshibumi Seki",
year = "1997",
month = "7",
day = "1",
doi = "10.1109/4434.605918",
language = "English",
volume = "5",
pages = "44--54",
journal = "IEEE Concurrency",
issn = "1092-3063",
publisher = "IEEE Computer Society",
number = "3",

}

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 -