A rewriting logic sampler

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

Abstract

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
PublisherSpringer-Verlag Berlin Heidelberg
Pages1-28
Number of pages28
ISBN (Print)3540291075, 9783540291077
DOIs
StatePublished - Jan 1 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

Other

Other2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005
CountryViet Nam
CityHanoi
Period10/17/0510/21/05

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this

    Meseguer, J. (2005). A rewriting logic sampler. In Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings (pp. 1-28). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3722 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/11560647_1