Modular heap analysis techniques analyse a program by computing summaries for every procedure in the program that describes its effects on an input heap. This book focuses on modular heap analyses that summarize a procedure's heap effects using a context-independent, shape-graph-like summary that is agnostic to the aliasing in the input heap.
Ik heb een vraag over het boek: ‘A Framework For Efficient Modular Heap Analysis - Madhavan, Ravichandhran, Ramalingam, G., Vaswani, Kapil’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
