Matches in SemOpenAlex for { <https://semopenalex.org/work/W2246540590> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2246540590 endingPage "518" @default.
- W2246540590 startingPage "514" @default.
- W2246540590 abstract "We extend first-order tenn rewrite systems with scoping constructs. One of these constructs is the expression of the form D ⇒ E where D is a list of rewrite rules (i.e., a module in our context) and E is an expression to be evaluated. This expression has the following operational semantics: add the rewrite rules in D to the current program and then evaluate E. Thus, the rules in D are local to the expression E. Other constructs are related to controlling the interaction of these modules and to giving constants a scope. To be specific, the construct new and local provides a novel approach that controls the visiblility of the constants in a module and the construct @ permits modules to be organized from submodules. There are subtle interactions among these constructs. We define these interactions carefully by giving a precise semantics of this language and showing some examples of its use. Finally, the operational semantics of the construct ⇒ leads to redundancy in search. We present a new semantics of the construct in which this redundancy can be controlled." @default.
- W2246540590 created "2016-06-24" @default.
- W2246540590 creator A5007182198 @default.
- W2246540590 date "1999-08-01" @default.
- W2246540590 modified "2023-09-22" @default.
- W2246540590 title "Adding Scoping Constructs to Term Rewrite Systems" @default.
- W2246540590 cites W1925916532 @default.
- W2246540590 cites W2104238859 @default.
- W2246540590 cites W2205242796 @default.
- W2246540590 hasPublicationYear "1999" @default.
- W2246540590 type Work @default.
- W2246540590 sameAs 2246540590 @default.
- W2246540590 citedByCount "0" @default.
- W2246540590 crossrefType "journal-article" @default.
- W2246540590 hasAuthorship W2246540590A5007182198 @default.
- W2246540590 hasConcept C111919701 @default.
- W2246540590 hasConcept C121332964 @default.
- W2246540590 hasConcept C151730666 @default.
- W2246540590 hasConcept C152124472 @default.
- W2246540590 hasConcept C156325763 @default.
- W2246540590 hasConcept C184337299 @default.
- W2246540590 hasConcept C199360897 @default.
- W2246540590 hasConcept C2778012447 @default.
- W2246540590 hasConcept C2779343474 @default.
- W2246540590 hasConcept C2780801425 @default.
- W2246540590 hasConcept C41008148 @default.
- W2246540590 hasConcept C48859967 @default.
- W2246540590 hasConcept C61797465 @default.
- W2246540590 hasConcept C62520636 @default.
- W2246540590 hasConcept C80444323 @default.
- W2246540590 hasConcept C86803240 @default.
- W2246540590 hasConcept C90559484 @default.
- W2246540590 hasConceptScore W2246540590C111919701 @default.
- W2246540590 hasConceptScore W2246540590C121332964 @default.
- W2246540590 hasConceptScore W2246540590C151730666 @default.
- W2246540590 hasConceptScore W2246540590C152124472 @default.
- W2246540590 hasConceptScore W2246540590C156325763 @default.
- W2246540590 hasConceptScore W2246540590C184337299 @default.
- W2246540590 hasConceptScore W2246540590C199360897 @default.
- W2246540590 hasConceptScore W2246540590C2778012447 @default.
- W2246540590 hasConceptScore W2246540590C2779343474 @default.
- W2246540590 hasConceptScore W2246540590C2780801425 @default.
- W2246540590 hasConceptScore W2246540590C41008148 @default.
- W2246540590 hasConceptScore W2246540590C48859967 @default.
- W2246540590 hasConceptScore W2246540590C61797465 @default.
- W2246540590 hasConceptScore W2246540590C62520636 @default.
- W2246540590 hasConceptScore W2246540590C80444323 @default.
- W2246540590 hasConceptScore W2246540590C86803240 @default.
- W2246540590 hasConceptScore W2246540590C90559484 @default.
- W2246540590 hasIssue "4" @default.
- W2246540590 hasLocation W22465405901 @default.
- W2246540590 hasOpenAccess W2246540590 @default.
- W2246540590 hasPrimaryLocation W22465405901 @default.
- W2246540590 hasRelatedWork W1276213497 @default.
- W2246540590 hasRelatedWork W129491011 @default.
- W2246540590 hasRelatedWork W1497715420 @default.
- W2246540590 hasRelatedWork W176706912 @default.
- W2246540590 hasRelatedWork W2040563368 @default.
- W2246540590 hasRelatedWork W2118949160 @default.
- W2246540590 hasRelatedWork W2167353014 @default.
- W2246540590 hasRelatedWork W2255747182 @default.
- W2246540590 hasRelatedWork W2276276543 @default.
- W2246540590 hasRelatedWork W2291729062 @default.
- W2246540590 hasRelatedWork W2406254393 @default.
- W2246540590 hasRelatedWork W2470476187 @default.
- W2246540590 hasRelatedWork W2493975225 @default.
- W2246540590 hasRelatedWork W2511346598 @default.
- W2246540590 hasRelatedWork W2794205083 @default.
- W2246540590 hasRelatedWork W3023369148 @default.
- W2246540590 hasRelatedWork W3108261755 @default.
- W2246540590 hasRelatedWork W3148616553 @default.
- W2246540590 hasRelatedWork W3822627 @default.
- W2246540590 hasRelatedWork W39503642 @default.
- W2246540590 hasVolume "4" @default.
- W2246540590 isParatext "false" @default.
- W2246540590 isRetracted "false" @default.
- W2246540590 magId "2246540590" @default.
- W2246540590 workType "article" @default.