Inferring Memory Policies from the Formal Language Semantics

Irina Marucia

(Swansea University, formerly VERIMAG/University of Grenoble)

In this work we propose an approach to the analysis of formal language
semantics. We target memory policies, namely, whether the formal specification
under consideration follows a particular standard when defining how the
language constructs work with the memory. More specifically, we consider Maude
specifications of formal programming language semantics and we investigate
these specifications at the meta-level in order to identify the memory
elements (e.g., variables and values) and how the language syntactic
constructs employ the memory and its elements. The current work is motivated
by previous work on generic slicing in Maude, in the pursuit of making our
generic slicing as general as possible. In this way, we integrate the current
technique into an existing implementation of a generic semantics-based program

Monday 15th June 2015, 14:00
Robert Recorde Room
Department of Computer Science