Seeking Concurrency in Rule-based Programming

Authors

Gruia-Catalin Roman, Washington University in St Louis
Rose F. Gamble, Washington University in St Louis
William E. Ball, Washington University in St Louis

Document Type

Technical Report

Publication Date

1992

Filename

WUCS-92-04.pdf

Technical Report Number

WUCS-92-04

Abstract

This paper describes a formal approach for developing concurrent rule-based programs. Specification of refinement is used to generate an initial version of the program. Program refinement is then applied to produce a highly concurrent and efficient version of the same program. Techniques for deriving concurrent programs through either specification or program refinement have been described in previous literature. The main contribution of this paper consists of extending the applicability of these techniques to a broad class of rule-based programs. To the best of our knowledge, this is the first time formal derivation is employed in the context of rule-based programming.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7TH8K1C

Recommended Citation

Roman, Gruia-Catalin; Gamble, Rose F.; and Ball, William E., "Seeking Concurrency in Rule-based Programming" Report Number: WUCS-92-04 (1992). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/516