Tail Recursion Modulo Context: An Equational Approach.

Daan Leijen Anton Lorenzen

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

contextual information
context sensitive
context aware
transitive closure
deductive databases
theorem proving
clustering algorithm
logic programming
context awareness