Prolog e Lambda-Prolog: verso l’implementazione di un analizzatore statico di mode

Chen, Biao (2017) Prolog e Lambda-Prolog: verso l’implementazione di un analizzatore statico di mode. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile
Il full-text non è disponibile per scelta dell'autore. (Contatta l'autore)

Abstract

Descriviamo l'architettura e l'implementazione in linguaggio C++ di un analizzatore statico di mode per i linguaggi di programmazione logica Prolog e Lambda-Prolog.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Chen, Biao
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
prolog,lambda-prolog,analizzatore,statico,mode
Data di discussione della Tesi
15 Marzo 2017
URI

Altri metadati

Gestione del documento: Visualizza il documento

^