Subject: PEM Talk by Bas Basten: Language-Parametric Fact Extraction
From: "H.J.S. Basten" 
To: pem-list
Date: Tue, 12 Aug 2008 13:24:01 +0200

Dear all,

I hereby cordially invite you to the next Programming Environment
Meeting (PEM) at SEN1. I will be presenting my latest research on fact
extraction, which is joint work with Paul Klint.

Title: Language-Parametric Fact Extraction from Source Code
Time: Monday August 18, 10:00
Room: M280 (CWI)

Abstract:

Extracting facts from software source code forms the foundation for any
software analysis. Experience shows, however, that extracting facts from
programs written in a wide range of programming and application
languages is labor-intensive and error-prone. We present a new generic
technique for fact extraction that requires only small specifications.
It amounts to annotating the context-free grammar of a language of
interest with fact annotations that describe how to extract elementary
facts for language elements such as, for instance, a declaration or use
of a variable, a procedure or method call, or control flow statements.
Once the elementary facts have been extracted, we use relational
techniques to further enrich them and to perform the actual software
analysis.

Cheers,
Bas Basten