PhD in Computer Science

We announce the new session of the working group about software engineering at LaBRI. For this new session, Reinout Stevens and Andy Kellens will present there current work. It will take place at LaBRI, room 178, Tuesday, the 20th of December at 10.00 AM.

TITLE: Querying Code and History with SOUL

ABSTRACT:

The Smalltalk Open Unification Language (SOUL) is a logic programming language dedicated for reasoning over software. Its symbiosis with the underlying Smalltalk environment, and its open unification mechanism result in that SOUL is a suitable platform for building program querying tools. We give an overview of the core SOUL language, its unique features, some of the custom extensions to this language and the surrounding tool suite. In the second part of the presentation we discuss Absinthe: a recent extension of SOUL that combines quantified regular path expressions with logic queries to reason over the history of a software system. For more information about SOUL and its applications: http://soft.vub.ac.be/SOUL/.