The partial evaluation of imperative programs using Prolog

Authors:
B. J. Ross
Affiliations:
-
Venue:
Meta-programming in logic programming
Year:
1989

Citing 0
Cited 2

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses
Verification of java bytecode using analysis and transformation of logic programs

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract