Elaborazione e interazione in programmazione logica e ad oggetti
Autore
Tiziano Moretti - Università degli Studi di Bologna - [1998-99]
Documenti
Abstract
In questo lavoro verrà presentato un modello di basso livello più espressivo della macchina di Turing (TM) in quanto vi aggiunge due dimensioni: Stato e Interazione. Tale modello sarà proposto come descrittivo della Object Oriented Programming (OOP) per la quale la TM risulta invece insufficiente. Vedremo anche come questo sia riconducibile, ad un più alto livello di astrazione, ad una precisa strutturazione dei programmi che ne mette in evidenza le componenti essenziali. Questi risultati verranno poi sfruttati per definire una macchina astratta che integri il modello della programmazione logica (LP) e quello della OOP.
Questa tesi è correlata alla categoria