- -

Symbolic execution as a basis for termination analysis

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Symbolic execution as a basis for termination analysis

Mostrar el registro completo del ítem

Vidal Oriola, GF. (2015). Symbolic execution as a basis for termination analysis. Science of Computer Programming. 102:142-157. doi:10.1016/j.scico.2015.01.007

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/61507

Ficheros en el ítem

Metadatos del ítem

Título: Symbolic execution as a basis for termination analysis
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Program termination is a relevant property that has been extensively studied in the context of many different formalisms and programming languages. Traditional approaches to proving termination are usually based on ...[+]
Palabras clave: Program termination , Symbolic execution , Program analysis
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2015.01.007
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2015.01.007
Agradecimientos:
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) under grant TIN2013-44742-C4-1-R and by the ...[+]
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem