Counting Aliases
Résumé
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.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)