Il linguaggio LOOP è un linguaggio di programmazione ideato a scopi didattici da Uwe Schöning. Il linguaggio LOOP calcola le funzioni ricorsive primitive.
Le operazioni del linguaggio prevedono assegnamento, addizione e iterazione.
Bibliografia
- (DE) Uwe Schöning, Theoretische Informatik-kurz gefasst, 5 ed., Londra, Oxford University Press, 2008, ISBN 978-3-8274-1824-1.
- Herbert Enderton, Computability Theory, Academic Press, 2012.
Voci correlate