Proving termination of GHC programs

Authors:
M. R. K. Krishna Rao;D. Kapur;R. K. Shyamasundar
Affiliations:
-;-;-
Venue:
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Year:
1993

Citing 0
Cited 2

A Program Dependence Model for Concurrent Logic Programs and Its Applications

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
State-Space Reduction Techniques in Agent Verification

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.01

Visualization

Abstract