Referenced Items are not available for this document.
The authors present procedural analysis methods of a program described in Flat Guarded Horn Clauses (FGHC). FGHC is a parallel programming language based on Horn logic. The program processes execute in parallel, so debugging is very difficult. In the analysis methods the FGHC program is modeled by means of HL (high-level) nets, a kind of Petri net model. The modeling is based on the computation rules of FGHC to analyze the behavior of the program. In the modeling rules, reduction of the FGHC program corresponds to firing of a transition. Therefore, the analysis methods calculate firing sequences to detect program deadlock, compute parallelism and evaluate the success or failure of the program
Published in:
Circuits and Systems, 1991., IEEE International Sympoisum on
Date of Conference: 11-14 Jun 1991
- Page(s):
- 842 - 845 vol.2
- Meeting Date :
- 11 Jun 1991-14 Jun 1991
- Print ISBN:
- 0-7803-0050-5
- INSPEC Accession Number:
- 4229867
- Digital Object Identifier :
- 10.1109/ISCAS.1991.176494
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
