Login / Signup

A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.

Gregory F. JohnsonJanet A. Walz
Published in: POPL (1986)
Keyphrases
  • maximum flow
  • minimum cut
  • directed graph
  • anomaly detection
  • push relabel
  • higher order
  • mutual information