Counting Aliases

Counting Aliases - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.
1 VERIMAG - IMAG - VERIMAG
Abstract : Our contribution is the development and study of a first order interpreted logic κAL in which we can express shape properties of recursive data structures and compute weakest preconditions. We show that, in general, the satisfiability problem of κAL is undecidable.
Autor: Marius Bozga - Radu Iosif - Yassine Lakhnech -
Fuente: https://hal.archives-ouvertes.fr/