Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138481610> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2138481610 endingPage "500" @default.
- W2138481610 startingPage "467" @default.
- W2138481610 abstract "We propose an imperative version of the Rewriting Calculus, a calculus based on pattern matching, pattern abstraction and side effects, which we call iRho. We formulate both a static and big-step call-by-value operational semantics of iRho. The operational semantics is deterministic, and immediately suggests how an interpreter for the calculus may be built. The static semantics is given using a first-order type system based on a form of product types, which can be assigned to term-like structures (that is, records). The calculus is à la Church, that is, pattern abstractions are decorated with the types of the free variables of the pattern. iRho is a good candidate for the core of a pattern-matching imperative language, where a (monomorphic) typed store can be safely manipulated and where fixed points are built into the language itself. Properties such as determinism of the interpreter and subject-reduction have been completely checked using a machine-assisted approach with the Coq proof assistant. Progress and decidability of type checking are proved using pen and paper." @default.
- W2138481610 created "2016-06-24" @default.
- W2138481610 creator A5041946785 @default.
- W2138481610 creator A5080883460 @default.
- W2138481610 date "2008-06-01" @default.
- W2138481610 modified "2023-10-07" @default.
- W2138481610 title "iRho: an imperative rewriting calculus" @default.
- W2138481610 cites W1531082202 @default.
- W2138481610 cites W1589398330 @default.
- W2138481610 cites W1601124623 @default.
- W2138481610 cites W1829244603 @default.
- W2138481610 cites W1963658586 @default.
- W2138481610 cites W1994383761 @default.
- W2138481610 cites W2000817748 @default.
- W2138481610 cites W2007809070 @default.
- W2138481610 cites W2010525351 @default.
- W2138481610 cites W2018854027 @default.
- W2138481610 cites W2022647944 @default.
- W2138481610 cites W2073569229 @default.
- W2138481610 cites W2101247081 @default.
- W2138481610 cites W2113757735 @default.
- W2138481610 cites W2129695855 @default.
- W2138481610 cites W2162525339 @default.
- W2138481610 cites W4205732088 @default.
- W2138481610 cites W4242154570 @default.
- W2138481610 cites W4249903311 @default.
- W2138481610 cites W4254354208 @default.
- W2138481610 doi "https://doi.org/10.1017/s0960129508006750" @default.
- W2138481610 hasPublicationYear "2008" @default.
- W2138481610 type Work @default.
- W2138481610 sameAs 2138481610 @default.
- W2138481610 citedByCount "2" @default.
- W2138481610 crossrefType "journal-article" @default.
- W2138481610 hasAuthorship W2138481610A5041946785 @default.
- W2138481610 hasAuthorship W2138481610A5080883460 @default.
- W2138481610 hasBestOaLocation W21384816102 @default.
- W2138481610 hasConcept C11413529 @default.
- W2138481610 hasConcept C122783720 @default.
- W2138481610 hasConcept C153269930 @default.
- W2138481610 hasConcept C154690210 @default.
- W2138481610 hasConcept C156325763 @default.
- W2138481610 hasConcept C184337299 @default.
- W2138481610 hasConcept C199343813 @default.
- W2138481610 hasConcept C199360897 @default.
- W2138481610 hasConcept C2777686260 @default.
- W2138481610 hasConcept C41008148 @default.
- W2138481610 hasConcept C71924100 @default.
- W2138481610 hasConceptScore W2138481610C11413529 @default.
- W2138481610 hasConceptScore W2138481610C122783720 @default.
- W2138481610 hasConceptScore W2138481610C153269930 @default.
- W2138481610 hasConceptScore W2138481610C154690210 @default.
- W2138481610 hasConceptScore W2138481610C156325763 @default.
- W2138481610 hasConceptScore W2138481610C184337299 @default.
- W2138481610 hasConceptScore W2138481610C199343813 @default.
- W2138481610 hasConceptScore W2138481610C199360897 @default.
- W2138481610 hasConceptScore W2138481610C2777686260 @default.
- W2138481610 hasConceptScore W2138481610C41008148 @default.
- W2138481610 hasConceptScore W2138481610C71924100 @default.
- W2138481610 hasIssue "3" @default.
- W2138481610 hasLocation W21384816101 @default.
- W2138481610 hasLocation W21384816102 @default.
- W2138481610 hasLocation W21384816103 @default.
- W2138481610 hasLocation W21384816104 @default.
- W2138481610 hasOpenAccess W2138481610 @default.
- W2138481610 hasPrimaryLocation W21384816101 @default.
- W2138481610 hasRelatedWork W1483180838 @default.
- W2138481610 hasRelatedWork W1497581330 @default.
- W2138481610 hasRelatedWork W1498283003 @default.
- W2138481610 hasRelatedWork W1504820687 @default.
- W2138481610 hasRelatedWork W16617677 @default.
- W2138481610 hasRelatedWork W2155880381 @default.
- W2138481610 hasRelatedWork W2245685274 @default.
- W2138481610 hasRelatedWork W4210495575 @default.
- W2138481610 hasRelatedWork W4252242530 @default.
- W2138481610 hasRelatedWork W642373709 @default.
- W2138481610 hasVolume "18" @default.
- W2138481610 isParatext "false" @default.
- W2138481610 isRetracted "false" @default.
- W2138481610 magId "2138481610" @default.
- W2138481610 workType "article" @default.