Login / Signup

Iterative Fixed Point Computation for Type-Based Strictness Analysis.

Fritz Henglein
Published in: SAS (1994)
Keyphrases
  • fixed point
  • dynamical systems
  • search algorithm
  • dynamic programming
  • graphical models