程序不动点理论的英文

• fixpoint theory of program

• 程序    procedure
• 不动点    fixed point
• 理论    theory
• 不动点理论    fixed-point theorem; fixpoint theory
• 不动点    [数学] fixed point 不动点定理 fixed point theorem; 不动点方法 fixed point method
• 鞍点理论    saddle point theory
• 临界点理论    critical point theory
• 奇点理论    theory of singularities
• 新起点理论    fresh start theory
• 中性点理论    neutral point theory
• 着火点理论    fire point theory
• 程序不当    procedures inadequacy
• 不动点 (数学)    fixed point (mathematics)
• 不动点定理    fixed point theorems; fixpunktsatz fixed-point theorem
• 不动点法    fixed point method
• 不动点方法    fixed point method
• 不动点问题    problem of fixed points
• 不动点语义    fixpoint semantic
• 不动点指数    fixed point index
• 单纯不动点    simple fixed point
• 吸引不动点    fixed point
• 正则不动点    regular fixed point
• 最大不动点    greatest fixpoint
• 最小不动点    least fixed point; least fixpoint
• 一般交点理论    general intersection theory