Formal methods
MapReduce
Loop invariant
Postcondition
Apache Hadoop
Control flow
Hoare logic
Generator
Predicate transformer semantics
KeY
Infinite loop
Const