1 – State of the Art

摘要: In this chapter, we present the notions upon which abstract interpretation (AI) is based and principles of constraint programming (CP). We do not provide an exhaustive presentation both areas, but rather give needed for understanding book. The concepts discussed include those partially ordered sets, lattice fixpoint, are at basis underlying theories in fields. It also includes in-place tools, such as narrowing widening operators AI or consistency splitting CP. Finally, chapter presents analysis similitudes between CP rely works presented