A rewriting logic sampler

José Meseguer

doi:10.1007/11560647_1

A rewriting logic sampler

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings
Publisher	Springer
Pages	1-28
Number of pages	28
ISBN (Print)	3540291075, 9783540291077
DOIs	https://doi.org/10.1007/11560647_1
State	Published - 2005
Event	2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005 - Hanoi, Viet Nam Duration: Oct 17 2005 → Oct 21 2005

Publication series

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

Other

Other	2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005
Country/Territory	Viet Nam
City	Hanoi
Period	10/17/05 → 10/21/05

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/11560647_1

Library availability

Discover UIUC Full Text

Cite this

A rewriting logic sampler. / Meseguer, José.
Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings. Springer, 2005. p. 1-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3722 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Meseguer, J 2005, A rewriting logic sampler. in Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3722 LNCS, Springer, pp. 1-28, 2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, Hanoi, Viet Nam, 10/17/05. https://doi.org/10.1007/11560647_1

@inproceedings{dcc3c4a0f8744cf193e8c17364e6936f,

title = "A rewriting logic sampler",

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.",

author = "Jos{\'e} Meseguer",

year = "2005",

doi = "10.1007/11560647_1",

language = "English (US)",

isbn = "3540291075",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "1--28",

booktitle = "Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings",

address = "Germany",

note = "2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005 ; Conference date: 17-10-2005 Through 21-10-2005",

}

TY - GEN

T1 - A rewriting logic sampler

AU - Meseguer, José

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33646420329&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33646420329&partnerID=8YFLogxK

U2 - 10.1007/11560647_1

DO - 10.1007/11560647_1

M3 - Conference contribution

AN - SCOPUS:33646420329

SN - 3540291075

SN - 9783540291077

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 28

BT - Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings

PB - Springer

T2 - 2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005

Y2 - 17 October 2005 through 21 October 2005

ER -

A rewriting logic sampler

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this