A high-level language that allows researchers to unambiguously define their research algorithms.