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:



Stats Mostra les estadístiques d'aquest ítem

SFX Query

Queda prohibida la reproducció, transformació, distribució i comunicació pública d'aquesta obra. Es permet, en tot cas, la reproducció per a ús privat sempre i quan la còpia que se'n faci no sigui objecte d'utilització col·lectiva ni lucrativa (art. 31.2 del Reial Decret Legislatiu 1/1996, de 12 d'abril, pel qual s'aprova el Text Refós de la Llei de Propietat Intel·lectual, http://bibliotecnica.upc.es/sepi/legislacio.asp).

Per a qualsevol ús que es vulgui fer diferent al permès, dirigiu-vos a: sepi@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