Definitions

[1] (Computer) Programmiersprache mit dem Zweck den Status von Variablen in einer Substitution zu verändern