A rewriting logic sampler

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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, this paper 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.

Original languageEnglish (US)
Title of host publicationTheoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings
Number of pages28
ISBN (Print)3540291075, 9783540291077
StatePublished - 2005
Event2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005 - Hanoi, Viet Nam
Duration: Oct 17 2005Oct 21 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3722 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005
Country/TerritoryViet Nam

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'A rewriting logic sampler'. Together they form a unique fingerprint.

Cite this