Login / Signup
An Equational Framework for the Flow Analysis of Higher Order Functional Programs.
Dan C. Stefanescu
Yuli Zhou
Published in:
LISP and Functional Programming (1994)
Keyphrases
</>
flow analysis
higher order
functional programs
theorem proving
database
term rewriting systems