Matches in SemOpenAlex for { <https://semopenalex.org/work/W2203094948> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2203094948 abstract "Term rewriting proved to be a simple, uniform and powerful computational paradigm. Rewrite rules independently match and apply anywhere, unconstrained by the context. Rewriting is particularly appealing for defining truly concurrent systems, since rewrite rules can apply in parallel. Unfortunately, there is an inherent impediment in using term rewriting for defining concurrent systems or programming languages: overlapping rewrite rules cannot proceed concurrently. This limitation enforces an interleaving semantics in situations where one may not want it. For example, two threads accessing different regions of memory need to interleave since the corresponding rewrite rules overlap on the memory subterm. Or two message receiving operations of two distributed agents need to interleave since the corresponding rewrite rules overlap on the message pool subterm. This paper presents the concurrent rewrite abstract machine (KRAM), a generalization of term rewriting in which rules explicitly state what can be concurrently shared with other rules, like in graph rewriting. A parallel rewrite relation is defined and proved sound, complete and serializable with respect to conventional rewriting. The KRAM serves as the computational infrastructure ofK, an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined, making use of configurations, computations and rules. A series of examples are discussed, including a non-trivial higher-order multi-threaded distributed language; all examples were defined and executed using the K-Maude tool." @default.
- W2203094948 created "2016-06-24" @default.
- W2203094948 creator A5015125888 @default.
- W2203094948 creator A5053878331 @default.
- W2203094948 date "2010-09-22" @default.
- W2203094948 modified "2023-10-18" @default.
- W2203094948 title "KRAM--Extended Report" @default.
- W2203094948 cites W110217058 @default.
- W2203094948 cites W1482234031 @default.
- W2203094948 cites W1482905321 @default.
- W2203094948 cites W1512007370 @default.
- W2203094948 cites W1557619244 @default.
- W2203094948 cites W1574796876 @default.
- W2203094948 cites W1577544661 @default.
- W2203094948 cites W158097575 @default.
- W2203094948 cites W1638436127 @default.
- W2203094948 cites W1840173833 @default.
- W2203094948 cites W1976195354 @default.
- W2203094948 cites W2013672985 @default.
- W2203094948 cites W2031130770 @default.
- W2203094948 cites W2048417351 @default.
- W2203094948 cites W2055378322 @default.
- W2203094948 cites W2094080019 @default.
- W2203094948 cites W2139760036 @default.
- W2203094948 cites W2154286698 @default.
- W2203094948 cites W2161536557 @default.
- W2203094948 cites W2164661513 @default.
- W2203094948 cites W2911877972 @default.
- W2203094948 hasPublicationYear "2010" @default.
- W2203094948 type Work @default.
- W2203094948 sameAs 2203094948 @default.
- W2203094948 citedByCount "0" @default.
- W2203094948 crossrefType "journal-article" @default.
- W2203094948 hasAuthorship W2203094948A5015125888 @default.
- W2203094948 hasAuthorship W2203094948A5053878331 @default.
- W2203094948 hasConcept C121332964 @default.
- W2203094948 hasConcept C154690210 @default.
- W2203094948 hasConcept C156325763 @default.
- W2203094948 hasConcept C160145156 @default.
- W2203094948 hasConcept C184337299 @default.
- W2203094948 hasConcept C193702766 @default.
- W2203094948 hasConcept C199360897 @default.
- W2203094948 hasConcept C41008148 @default.
- W2203094948 hasConcept C61797465 @default.
- W2203094948 hasConcept C62520636 @default.
- W2203094948 hasConcept C80444323 @default.
- W2203094948 hasConceptScore W2203094948C121332964 @default.
- W2203094948 hasConceptScore W2203094948C154690210 @default.
- W2203094948 hasConceptScore W2203094948C156325763 @default.
- W2203094948 hasConceptScore W2203094948C160145156 @default.
- W2203094948 hasConceptScore W2203094948C184337299 @default.
- W2203094948 hasConceptScore W2203094948C193702766 @default.
- W2203094948 hasConceptScore W2203094948C199360897 @default.
- W2203094948 hasConceptScore W2203094948C41008148 @default.
- W2203094948 hasConceptScore W2203094948C61797465 @default.
- W2203094948 hasConceptScore W2203094948C62520636 @default.
- W2203094948 hasConceptScore W2203094948C80444323 @default.
- W2203094948 hasLocation W22030949481 @default.
- W2203094948 hasOpenAccess W2203094948 @default.
- W2203094948 hasPrimaryLocation W22030949481 @default.
- W2203094948 hasRelatedWork W1032572692 @default.
- W2203094948 hasRelatedWork W1482133761 @default.
- W2203094948 hasRelatedWork W1521877753 @default.
- W2203094948 hasRelatedWork W1540190633 @default.
- W2203094948 hasRelatedWork W1559211365 @default.
- W2203094948 hasRelatedWork W1576552759 @default.
- W2203094948 hasRelatedWork W1577544887 @default.
- W2203094948 hasRelatedWork W1590056785 @default.
- W2203094948 hasRelatedWork W1705164171 @default.
- W2203094948 hasRelatedWork W1932534967 @default.
- W2203094948 hasRelatedWork W1980046290 @default.
- W2203094948 hasRelatedWork W2053867970 @default.
- W2203094948 hasRelatedWork W2090911097 @default.
- W2203094948 hasRelatedWork W2287769028 @default.
- W2203094948 hasRelatedWork W2740875086 @default.
- W2203094948 hasRelatedWork W2953354833 @default.
- W2203094948 hasRelatedWork W2975211285 @default.
- W2203094948 hasRelatedWork W3000114288 @default.
- W2203094948 hasRelatedWork W3083562928 @default.
- W2203094948 hasRelatedWork W572432674 @default.
- W2203094948 isParatext "false" @default.
- W2203094948 isRetracted "false" @default.
- W2203094948 magId "2203094948" @default.
- W2203094948 workType "article" @default.