Program analysis in education | lit.salon