20 Years of Rewriting Logic

Meseguer, José

Permalink

https://hdl.handle.net/2142/32096 Copy

Description

Title

20 Years of Rewriting Logic

Author(s)

Meseguer, José

Issue Date

2012-06-29

Keyword(s)

rewriting logic, concurrency, logical frameworks, temporal logics, formal specification and verification, programming language semantics, networks and distributed systems, real-time systems, probabilistic systems, security, bioinformatics.

Abstract

Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification and verification, security, real-time and cyber-physical systems, probabilistic systems, bioinformatics and chemical systems.

Publisher

Elsevier

Type of Resource

text

Permalink

http://hdl.handle.net/2142/32096

Owning Collections