Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/22828
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Rubio Gimeno, Alberto |
dc.contributor.author | Castells Diumenjó, Pau |
dc.date | 2014-06-30 |
dc.identifier.citation | 93033 |
dc.identifier.uri | http://hdl.handle.net/2099.1/22828 |
dc.language.iso | cat |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject | Computer programs |
dc.subject | cppinv |
dc.subject | invariant |
dc.subject | graf |
dc.subject | funcions de ranking |
dc.subject | terminació |
dc.subject | problema de la parada |
dc.subject | antlr |
dc.subject | ranking functions |
dc.subject | termination |
dc.subject | halting problem |
dc.subject | Programes d'ordinador -- Anàlisi |
dc.title | Entorn per a l'anàlisi de terminació de programes |
dc.type | info:eu-repo/semantics/bachelorThesis |
dc.description.abstract | |
dc.description.abstract |