A Rewriting Logic Sampler

Опубликовано 7 сентября 2016, 16:25

Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally modeled.  It is also a flexible logical framework in which many different logical formalisms can be both represented and executed.  As the title suggests, the talk does not try to give a comprehensive overview of rewriting logic.  Instead, after introducing the basic concepts, it focuses on some recent research directions emphasizing:    (i)  extensions of the logic to model real-time systems and         probabilistic systems; and    (ii) some exciting application areas such as: semantics of         programming languages, security, and bioinformatics.