Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/22828

Entorn per a l'anàlisi de terminació de programes
Castells Diumenjó, Pau
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Rubio Gimeno, Alberto
[CATALÀ] Aquest projecte presenta una eina que comprova si els resultats d'anàlisi de terminació generats pel programa CppInv són correctes o no. També presenta una web que permet als usuaris realitzar anàlisis de terminació del seu codi.
[ANGLÈS] This thesis introduces a tool to check whether the termination analysis results obtained from the program CppInv are correct or not. It also presents a web that enables regular users to perform a termination analysis of their code.
Àrees temàtiques de la UPC::Informàtica::Programació
Computer programs
cppinv
invariant
graf
funcions de ranking
terminació
problema de la parada
antlr
ranking functions
termination
halting problem
Programes d'ordinador -- Anàlisi
info:eu-repo/semantics/bachelorThesis
Universitat Politècnica de Catalunya
         

Mostrar el registro completo del ítem