Scenario-based hypersequential programming: concept and example

DOI

説明

Hypersequential programming is a new paradigm of concurrent programming in which the original concurrent program is first serialized, then tested and debugged as a sequential program, and finally restored into the target concurrent program by parallelization. Both high productivity and reliability are achieved by hypersequential programming because testing and debugging are done for the serialized version and correctness of the serialized program is preserved during subsequent parallelization. This paper proposes a practical embodiment of hypersequential programming based on a sequential execution history, called a scenario, and explains how it works using a simple example.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ