Subject: PEM Talk Mark Hills next Wednesday 2pm: Language Prototyping and
Program Analysis: A Rewriting Logic Semantics Approach
From: "H.J.S. Basten" 
To: sen-list, pem-list
Date: Mon, 16 Nov 2009 11:07:44 +0100

Dear All,

You are cordially invited for our next PEM talk by Mark Hills. Mark is a
new member of SWAT (SEN1), where he is going to contribute to the
development of Rascal. His talk is about his PhD research, which he
recently completed at the University of Illinois at Urbana-Champaign.

Title: Language Prototyping and Program Analysis: A Rewriting Logic
Semantics Approach

Abstract: This talk discusses two applications of rewriting logic
semantics to programming languages: language prototyping and
annotation-driven static analysis. The work on language prototyping has
focused on defining concurrent object-oriented languages, while taking
advantage of the executability of rewriting logic and available tool
support to provide language interpreters and methods to explore program
behavior. The work on static analysis has instead focused on leveraging
language definitions to treat analysis as an alternative form of program
execution, at the same time providing mechanisms to extend the language
with new annotations and types of analyses. This research is illustrated
in the context of C and two research languages created as part of this
work: the imperative language SILF and the object-oriented language
KOOL.

Time: Wednesday 18 November, 14.00 hrs
Location: Room C0.01, CWI

Hope to see you all there.

Best regards,
Bas Basten