Login / Signup

An Equational Framework for the Flow Analysis of Higher Order Functional Programs.

Dan C. StefanescuYuli Zhou
Published in: LISP and Functional Programming (1994)
Keyphrases
  • flow analysis
  • higher order
  • functional programs
  • theorem proving
  • database
  • term rewriting systems