Rewriting models of boolean programs

Ahmed Bouajjani, Javier Esparza

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

14 Zitate (Scopus)

Abstract

We show that rewrite systems can be used to give semantics to imperative programs with boolean variables, a class of programs used in software model-checking as over- or underapproximations of real programs. We study the classes of rewrite systems induced by programs with different features like procedures, concurrency, or dynamic thread creation, and survey a number of results on their word problem and their symbolic reachability problem.

OriginalspracheEnglisch
TitelTerm Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings
Herausgeber (Verlag)Springer Verlag
Seiten136-150
Seitenumfang15
ISBN (Print)3540368345, 9783540368342
DOIs
PublikationsstatusVeröffentlicht - 2006
Extern publiziertJa
Veranstaltung17th International Conference on Term Rewriting and Applications, RTA 2006 - Seattle, WA, USA/Vereinigte Staaten
Dauer: 12 Aug. 200614 Aug. 2006

Publikationsreihe

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

Konferenz

Konferenz17th International Conference on Term Rewriting and Applications, RTA 2006
Land/GebietUSA/Vereinigte Staaten
OrtSeattle, WA
Zeitraum12/08/0614/08/06

Fingerprint

Untersuchen Sie die Forschungsthemen von „Rewriting models of boolean programs“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren