LOOP (linguaggio di programmazione)

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

• Funzione ricorsiva primitiva
• L (linguaggio)
• Teoria della calcolabilità