Knaster-Tarski theorem

专有名词
中文释义

英文释义

专有名词
  1. A theorem stating that, if L is a complete lattice and f : L → L is an order-preserving function, then the set of fixed points of f in L is also a complete lattice. It has important applications in formal semantics of programming languages and abstract interpretation.

词形变化

the Knaster-Tarski theorem canonical

词源

Named after Bronisław Knaster and Alfred Tarski.
0 次浏览 数据来源: Wiktionary