- -

Symbolic execution as a basis for termination analysis

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Symbolic execution as a basis for termination analysis

Show full item record

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

Files in this item

Item Metadata

Title: Symbolic execution as a basis for termination analysis
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
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 ...[+]
Subjects: Program termination , Symbolic execution , Program analysis
Copyrigths: Reserva de todos los derechos
Source:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2015.01.007
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.scico.2015.01.007
Thanks:
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 ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record