Università degli Studi di Udine OpenUniud - Archivio istituzionale delle tesi di dottorato
 

OpenUniud - Archivio istituzionale delle tesi di dottorato >
Udine Thesis Repository >
01 - Tesi di dottorato >

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10990/120

Autori: Bacci, Giovanni
Supervisore afferente all'Università: COMINI, MARCO
Centro di ricerca: DIPARTIMENTO MATEMATICA E INFORMATICA - DIMI
Titolo: An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages
Abstract (in inglese): In this thesis we present a condensed, goal-independent, bottom-up fixpoint that is fully abstract w.r.t. results computed for Curry/Haskell expressions. These features make our semantics particularly suitable for developing efficacious semantics-based program manipulation tools. To support this claim, we provide some applications: a static analyzer for groundness dependencies, an abstract debugging/diagnosis method, and an automatic method for synthesizing property-oriented specifications
Parole chiave: Interpretation; Curry; Functional-logic Programming
MIUR : Settore INF/01 - Informatica
Lingua: eng
Data: 15-mar-2012
Corso di dottorato: Dottorato di ricerca in Informatica
Ciclo di dottorato: 24
Università di conseguimento titolo: Università degli Studi di Udine
Luogo di discussione: Udine
Citazione: Bacci, G. An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages. (Doctoral Thesis, Università degli Studi di Udine, 2012).
In01 - Tesi di dottorato

Full text:

File DimensioniFormatoConsultabilità
BACCI_A.PDF1,48 MBAdobe PDFVisualizza/apri

Questo documento è distribuito in accordo con Licenza Creative Commons
Creative Commons


Tutti i documenti archiviati in DSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by CINECA. Powered on DSpace SoftwareFeedback CINECA