Counting Aliases - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Marius Bozga - Radu Iosif - Yassine Lakhnech -

Source: https://hal.archives-ouvertes.fr/

Enviar