Description:
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.
Speaker(s):
Jose Meseguer, Ph.D., professor, Computer Science, University of Illinois at Urbana-Champaign (UIUC)
|
