|
Title:
|
Entorn per a l'anàlisi de terminació de programes
|
|
Author:
|
Castells Diumenjó, Pau
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Rubio Gimeno, Alberto |
|
Abstract:
|
[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. |
|
Abstract:
|
[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. |
|
Subject(s):
|
-À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 |
|
Rights:
|
|
|
Document type:
|
Bachelor Thesis |
|
Published by:
|
Universitat Politècnica de Catalunya
|
|
Share:
|
|
