SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Sidebar
Table of Contents
Seminar Talk: Interprocedural Analysis
This talk will introduce the challenges of interprocedural analysis. Here a few main keywords:
- Call graphs
- Context-insensitive versus context-sensitive analysis
- Prolog predicates expressing these analyses
- Cloning-based versus summary-based context-sensitive analysis
References
This talk will be based on Chapter 12 of the classic “Dragon book” (Compiler Construction, by Aho, Sethi, Lam and Ullman). Chapter 9 contains the intraprocedural basics. Printed copies have been distributed to each participant.
General Rehearsal
The first complete version of the talk will be presented on Thursday, Sept 30, 2010 at 14:30. We will then discuss open issues and once these are resolve, fine-tuning of the contents and presentation.
If you have any questions please do not hesitate to ask as soon as they arise.
Don't wait until the rehearsal appointment!
teaching/labs/ese/2010/interprocedural.txt · Last modified: 2018/05/09 01:59 (external edit)
Page Tools
