H. C. Cunningham and G.-C. Roman. Toward formal verification of rule-based systems: A shared dataspace perspective. Technical Report WUCS--89--28, Washington University, Department of Computer Science, St. Louis, Missouri, June 1989.  Home/Search   Document Not in Database   Summary   Related Articles

....We now state a dynamic program to solve the region labeling problem and show that it meets the correctness criteria. By dynamic, we mean that the contents of the transaction space vary during the computation. An alternative solution with a static transaction space is studied in [7] and [8]. A program for an image which is growing on one side is studied in [7] and [22] The program RegionLabel (shown in Figure 4) initially associates a transaction instance with each pixel in the image. When an executing transaction detects that the pixel s label may need to be propagated to a ....

....19] outline a declarative approach to visualization of the dynamics of program execution an approach which represents properties of an executing program s state as visual patterns on a graphics display. We are also studying the relationship of Swarm to other approaches, e.g. rule based systems [8], UNITY, and Linda. Swarm is proving to be an excellent research vehicle. Acknowledgements This work was supported by the Department of Computer Science, Washington University, Saint Louis, Missouri. The authors express their gratitude to Jerome R. Cox, department chairman, for his support and ....

H. C. Cunningham and G.-C. Roman. Toward formal verification of rule-based systems: A shared dataspace perspective. Technical Report WUCS--89--28, Washington University, Department of Computer Science, St. Louis, Missouri, June 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC