Enviar aquest missatge de text: Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers.