TY - GEN
T1 - Proving partial correctness of guarded horn clauses programs
AU - Murakami, Masaki
N1 - Publisher Copyright:
© 1988, Springer-Verlag.
PY - 1988
Y1 - 1988
N2 - Guarded Horn Clauses (GHC) [Ueda 85] is a parallel programming language based on Horn logic. A verification method of partial correctness for GHC programs is discussed here. The author investigated a Hoare-like axiomatic system for proving partial correctness of GHC programs. This paper presents fragments of the axiomatic system. Programs which generate processes dynamically during the execution or which contain control of nondeterminism by the guard mechanism are verified by these systems.
AB - Guarded Horn Clauses (GHC) [Ueda 85] is a parallel programming language based on Horn logic. A verification method of partial correctness for GHC programs is discussed here. The author investigated a Hoare-like axiomatic system for proving partial correctness of GHC programs. This paper presents fragments of the axiomatic system. Programs which generate processes dynamically during the execution or which contain control of nondeterminism by the guard mechanism are verified by these systems.
UR - http://www.scopus.com/inward/record.url?scp=85034823595&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85034823595&partnerID=8YFLogxK
U2 - 10.1007/3-540-19426-6_14
DO - 10.1007/3-540-19426-6_14
M3 - Conference contribution
AN - SCOPUS:85034823595
SN - 9783540194262
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 215
EP - 235
BT - Logic Programming 1987 - Proceedings of the 6th Conference
A2 - Tanaka, Hozumi
A2 - Furukawa, Koichi
A2 - Fujisaki, Tetsunosuke
PB - Springer Verlag
T2 - 6th Conference on Logic Programming, 1987
Y2 - 22 June 1987 through 24 June 1987
ER -