DSpace DSpace UPC
 English   Castellano   Català  

Treballs academics UPC >
Facultat d'Informàtica de Barcelona >
Enginyeria Informàtica (Pla 2003) >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2099.1/13895

Arxiu Descripció MidaFormat
73182.pdf583,8 kBAdobe PDFVeure/Obrir

Títol: Static analysis on imperative languages
Autor: Pol i Gonzalez, Aleix
Tutor/director/avaluador: Rivero Almeida, Jose Miguel
Universitat: Universitat Politècnica de Catalunya
Càtedra /Departament: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Matèries: Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació
Open source software
Programming languages (Electronic computers)
Errors
LLenguatges imperatius
Programació funcional
Compilers
Errors
Imperative languages
Programming
Free software
Opensource
kdevelop
Development
Functional programming
Static analysis
Programari lliure
Llenguatges de programació
KDE (Programes d'ordinador)
Compiladors (Programes d'ordinador)
Data: 1-des-2011
Tipus de document: Master thesis (pre-Bologna period)
Resum: In this project we described how I created a FOSS Static Analyzer on top of KDevelop to make sure that some problems don't happen in C++ code bases. It's discussed what changes and additions happened to make it possible to provide a set of checks to improve the daily development process.
URI: http://hdl.handle.net/2099.1/13895
Condicions d'accés: Open Access
Apareix a les col·leccions:Enginyeria Informàtica (Pla 2003)
Comparteix:



SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius