This bibliography compiles, to the best of our knowledge. all the papers on rewriting logic and its applications which have been written during the more than 20 years that have passed since the introduction of rewriti...
详细信息
This bibliography compiles, to the best of our knowledge. all the papers on rewriting logic and its applications which have been written during the more than 20 years that have passed since the introduction of rewriting logic in 1990. The papers are classified according to five main areas: foundations, logical and semantic framework, languages, tools, and applications. (C) 2012 Elsevier Inc. All rights reserved.
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 idea...
详细信息
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. (C) 2012 Elsevier Inc. All rights reserved.
暂无评论