Termination competition (termCOMP 2015)

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

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

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
dc.contributor.author	Giesl, Jürgen
dc.contributor.author	Mesnard, Frédéric
dc.contributor.author	Rubio Gimeno, Alberto
dc.contributor.author	Thiemann, René
dc.contributor.author	Waldmann, Johannes
dc.date	2015
dc.identifier.citation	Giesl, J., Mesnard, F., Rubio, A., Thiemann, R., Waldmann, J. Termination competition (termCOMP 2015). A: International Conference on Automated Deduction. "Automated Deduction CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015: proceedings". Berlín: Springer, 2015, p. 105-108.
dc.identifier.citation	978-3-319-21401-6
dc.identifier.citation	10.1007/978-3-319-21401-6_6
dc.identifier.uri	http://hdl.handle.net/2117/85179
dc.language.iso	eng
dc.publisher	Springer
dc.relation	http://link.springer.com/chapter/10.1007/978-3-319-21401-6_6
dc.relation	info:eu-repo/grantAgreement/ES/1PE/TIN2013-45732-C4-3-P
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Programació
dc.subject	Computer software -- Verification
dc.subject	Programming (Computers)
dc.subject	Programari -- Verificació
dc.subject	Programació (Ordinadors)
dc.title	Termination competition (termCOMP 2015)
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. Moreover, the competition also features categories for automated complexity analysis. In all categories, the competition also welcomes the participation of tools providing certified proofs. The goal of the termination competition is to demonstrate the power of the leading tools in each of these areas.
dc.description.abstract	Peer Reviewed

Mostrar el registro sencillo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Normal higher-order termination

Jouannaud, Jean Pierre; Rubio Gimeno, Alberto

Nominal completion for rewrite systems with binders

Fernández, Maribel; Rubio Gimeno, Alberto

Path orderings, quasi-orderings and termination of term rewriting systems

Borralleras Andreu, Cristina; Rubio Gimeno, Alberto

A Fully syntactic AC-RPO

Rubio Gimeno, Alberto

Higher-order recursive path orderings

Jouannaud, J P; Rubio Gimeno, Alberto

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio