Transforming concurrent programs with semaphores into logically constrained term rewrite systems

In this paper, as a first step of modeling concurrent programs by logically constrained term rewrite systems (LCTRSs, for short), we show transformations of concurrent programs with semaphore-based exclusive control into LCTRSs. To this end, we show how to encode configurations of concurrent program...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of logical and algebraic methods in programming Ročník 143; s. 101033
Hlavní autoři:	Kojima, Misaki, Nishida, Naoki, Matsubara, Yutaka
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.02.2025
Témata:	Concurrency Constrained rewriting Imperative program Program transformation Program verification Constrained rewriting Imperative program Concurrency Program verification Program transformation
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!