Matching Logic – One of the Formalisms Behind the K Semantic Framework
Abstract:
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 Webmaster