Exploració per autor "Castells Diumenjó, Pau"
Ara es mostren els items 1-1 de 1
-
Entorn per a l'anàlisi de terminació de programes
Castells Diumenjó, Pau (Universitat Politècnica de Catalunya, 2014-06-30)
Treball Final de Grau
Accés obert[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ó ...