Labs for course Programming Languages Laboratory. Exp1: data stream analysis; exp2: code optimiztion; exp3: code verification with Z3 SMT solver.