|
Título:
|
Anàlisi automàtica de programes Haskell
|
|
Autor/a:
|
Mas Rovira, Jan
|
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Rubio Giménez, Albert |
|
Abstract:
|
Expliquem els detalls d'un analitzador automàtic de programes Haskell. L'analitzador és capaç de detectar recursivitat en les definicions d'un programa, transformar definicions per tal de millorar-ne l'eficiència mentre se'n manté la semàntica i verificar la terminació en alguns casos. |
|
Abstract:
|
We present an automatic analyser for Haskell programs. Our analyser is able to spot recursivity within the definitions of a program, transform those definitions in order to enhance the overall efficiency while maintaining semantics and check termination under certain conditions. |
|
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica
-Haskell (Computer program language)
-Automatic programming (Computer science)
-anàlisi de programes automàtica
-recursivitat
-optimització
-haskell
-automatic program analysis
-recursion
-optimization
-Haskell (Llenguatge de programació)
-Programació automàtica (Informàtica) |
|
Derechos:
|
|
|
Tipo de documento:
|
Trabajo/Proyecto fin de carrera |
|
Editor:
|
Universitat Politècnica de Catalunya
|
|
Compartir:
|
|
