We a good story
Quick delivery in the UK

A Framework For Efficient Modular Heap Analysis

About A Framework For Efficient Modular Heap Analysis

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9781680830026
  • Binding:
  • Paperback
  • Pages:
  • 130
  • Published:
  • January 18, 2015
  • Dimensions:
  • 156x234x7 mm.
  • Weight:
  • 194 g.
Delivery: 1-2 weeks
Expected delivery: November 30, 2024

Description of A Framework For Efficient Modular Heap Analysis

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.

User ratings of A Framework For Efficient Modular Heap Analysis



Find similar books
The book A Framework For Efficient Modular Heap Analysis can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.