Representation and enumeration of flat Concurrent Prolog computations

Authors:
Y. Lichtenstein;M. Codish;E. Shapiro
Affiliations:
Weizmann Institute of Science;Weizmann Institute of Science;Weizmann Institute of Science
Venue:
Concurrent Prolog: collected papers
Year:
1988

Citing 0
Cited 3

Concurrent algorithmic debugging

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Chain programs for writing deterministic metainterpreters

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract