Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, January 27
Author: Günther, Stephan
Title: Matching Logic – One of the Formalisms Behind the K Semantic Framework


The K semantic framework is an executable semantic framework which can be used to define programming languages. In this talk we will have a look at Matching Logic, which is one of the logic formalisms underlying the K framework. We will see how Matching Logic is formalized as an (extension of an) institution and have a look at examples of how matching logic signatures and sentences relate to programming language specifications written in K.
Back to the Oberseminar web page