Lectures related to Galois connection

Related lectures (32)

Explores fixed points in G-sets, applications between sets, and the construction of orbits.

Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.