Mostra el registre d'ítem simple
Anàlisi automàtica de programes Haskell
| dc.contributor | Rubio Giménez, Albert |
| dc.contributor.author | Mas Rovira, Jan |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
| dc.date.accessioned | 2015-11-24T14:05:25Z |
| dc.date.available | 2015-11-24T14:05:25Z |
| dc.date.issued | 2015-06-26 |
| dc.identifier.uri | http://hdl.handle.net/2117/79657 |
| dc.description.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. |
| dc.description.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. |
| dc.language.iso | cat |
| dc.publisher | Universitat Politècnica de Catalunya |
| dc.subject | Àrees temàtiques de la UPC::Informàtica |
| dc.subject.lcsh | Haskell (Computer program language) |
| dc.subject.lcsh | Automatic programming (Computer science) |
| dc.subject.other | anàlisi de programes automàtica |
| dc.subject.other | recursivitat |
| dc.subject.other | optimització |
| dc.subject.other | haskell |
| dc.subject.other | automatic program analysis |
| dc.subject.other | recursion |
| dc.subject.other | optimization |
| dc.title | Anàlisi automàtica de programes Haskell |
| dc.type | Bachelor thesis |
| dc.subject.lemac | Haskell (Llenguatge de programació) |
| dc.subject.lemac | Programació automàtica (Informàtica) |
| dc.identifier.slug | 109342 |
| dc.rights.access | Open Access |
| dc.date.updated | 2015-07-07T04:00:48Z |
| dc.audience.educationlevel | Grau |
| dc.audience.mediator | Facultat d'Informàtica de Barcelona |
| dc.audience.degree | GRAU EN ENGINYERIA INFORMÀTICA (Pla 2010) |
