Valutazione attuale:  / 3
ScarsoOttimo 

PubbliTesi - La Tesi
Un modello dei costi in una macchina di valutazione per il lambda-calcolo

Scheda Sintetica

Autore: Andrea Secci
Relatore: Simona Ronchi della Rocca
Università: Università degli Studi di Torino
Facoltà: Facoltà di Scienze Matematiche, Fisiche e Naturali
Corso: Laurea Spec. in Metodologie e Sistemi Informatici
Data di Discussione: 17/07/2007
Voto: 110 cum laude
Disciplina: Semantica
Tipo di Tesi: Progettuale e di Ricerca
Altri Autori: Simone Leonardo
Lingua: Italiano
Grande Area: Area Scientifica
Dignità di Stampa: Si

Descrizione:
L’obiettivo della tesi è quello di realizzare un valutatore per il lambda-calcolo e implementare su di esso un modello di costi per la beta-regola. La macchina realizzata rappresenta un caso particolare della Macchina Universale per il lambda-delta-calcolo proposta da Simonetta Ronchi della Rocca e Luca Paolini.

 
Per ulteriori informazioni sulle Tesi presentate in questo sito sotto forma di Schede Sintetiche Accededere all’Area Riservata o Registrarsi.

Informazioni aggiuntive