Verification of Prolog programs using an extension of execution

Authors:
Tadashi Kanamori;Hirohisa Seki
Affiliations:
-;-
Venue:
Proceedings on Third international conference on logic programming
Year:
1986

Citing 0
Cited 3

An axiomatic basis for general discrete-event modeling

WSC '91 Proceedings of the 23rd conference on Winter simulation
Discovering and proving logic program properties

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Argus/V: a system for verification of Prolog programs

ACM '86 Proceedings of 1986 ACM Fall joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract