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
Title: | Symbolic execution as a basis for termination analysis | |
Author: | ||
UPV Unit: |
|
|
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: |
|
|
Copyrigths: | Reserva de todos los derechos | |
Source: |
|
|
DOI: |
|
|
Publisher: |
|
|
Publisher version: | http://dx.doi.org/10.1016/j.scico.2015.01.007 | |
Project ID: |
|
|
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: |
|