Programming

Articles, guides, and notes on Programming.

• Datalog for Program Analysis
  2024-06-13 · Updated 2026-06-26

  Explore rules, relations, and fixpoints through an interactive program analysis example.

  ProgrammingTutorial
• Formalizing Program Analysis in Lean 4
  2025-04-03

  Build a verified program analysis with abstract interpretation and machine-checked proofs.

  Formal MethodsProgramming