Hypersequential programming: A new way to develop concurrent programs

Naoshi Uchihira; Shinichi Honiden; Toshibumi Seki

doi:10.1109/4434.605918

Hypersequential programming: A new way to develop concurrent programs

Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki

Global Center for Science and Engineering

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	44-54
Number of pages	11
Journal	IEEE Concurrency
Volume	5
Issue number	3
DOIs	https://doi.org/10.1109/4434.605918
Publication status	Published - 1997 Jul 1

ASJC Scopus subject areas

Engineering(all)

Access to Document

10.1109/4434.605918

Cite this

@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 = jul,

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 -