Computer science
Programming language
Process calculus
Compiler
Constraint programming
Concurrent constraint logic programming
Abstract machine
Theoretical computer science
Inductive programming
Programming paradigm
Mathematical optimization
Functional logic programming
Mathematics
Stochastic programming
