IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

20 Years of Rewriting Logic

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/32096

Files in this item

File Description Format
PDF 20-years.pdf (745KB) (no description provided) PDF
Title: 20 Years of Rewriting Logic
Author(s): Jose Meseguer
Subject(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.
Issue Date: 2012-06-29
Publisher: Elsevier
Citation Info: Journal of Algebraic and Logic Programming
Genre: Article
Type: Text
URI: http://hdl.handle.net/2142/32096
Publication Status: published or submitted for publication
Peer Reviewed: is peer reviewed
Date Available in IDEALS: 2012-06-29
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 153
  • Downloads this Month: 1
  • Downloads Today: 0

Browse

My Account

Information

Access Key