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
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.
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
Tipologia del documento
Tesi di laurea
(NON SPECIFICATO)
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
Gestione del documento:
Login