Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102194574> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2102194574 abstract "The article considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context, an equational logic program is viewed as consisting of a set of modules, each module defining a part of the program's functions. We define a compositional semantics for conditional term rewriting systems which we show to be rich enough to capture computational properties related to the use of logical variables. We also study how such a semantics may be safely approximated, and how the results of such approximations may be composed to yield a bottom-up abstract semantics adequate for modular data-flow analysis. A compositional analysis for equational unsatisfiability illustrates the approach. >" @default.
- W2102194574 created "2016-06-24" @default.
- W2102194574 creator A5033696911 @default.
- W2102194574 creator A5047646994 @default.
- W2102194574 creator A5051613376 @default.
- W2102194574 creator A5053216941 @default.
- W2102194574 date "2002-12-17" @default.
- W2102194574 modified "2023-10-15" @default.
- W2102194574 title "A compositional semantics for conditional term rewriting systems" @default.
- W2102194574 cites W14675395 @default.
- W2102194574 cites W1481059806 @default.
- W2102194574 cites W1505737591 @default.
- W2102194574 cites W1513315908 @default.
- W2102194574 cites W1544338185 @default.
- W2102194574 cites W1556743088 @default.
- W2102194574 cites W1570444582 @default.
- W2102194574 cites W1578181970 @default.
- W2102194574 cites W1578588678 @default.
- W2102194574 cites W1581724852 @default.
- W2102194574 cites W1605195718 @default.
- W2102194574 cites W185683443 @default.
- W2102194574 cites W192170012 @default.
- W2102194574 cites W1967736139 @default.
- W2102194574 cites W1972733422 @default.
- W2102194574 cites W1975247475 @default.
- W2102194574 cites W2018227989 @default.
- W2102194574 cites W2031825596 @default.
- W2102194574 cites W2043100293 @default.
- W2102194574 cites W2043827880 @default.
- W2102194574 cites W2054839338 @default.
- W2102194574 cites W2059656088 @default.
- W2102194574 cites W2074150360 @default.
- W2102194574 cites W2089111669 @default.
- W2102194574 cites W2106105719 @default.
- W2102194574 cites W2126018011 @default.
- W2102194574 cites W2580286324 @default.
- W2102194574 cites W2912818154 @default.
- W2102194574 doi "https://doi.org/10.1109/iccl.1994.288383" @default.
- W2102194574 hasPublicationYear "2002" @default.
- W2102194574 type Work @default.
- W2102194574 sameAs 2102194574 @default.
- W2102194574 citedByCount "6" @default.
- W2102194574 countsByYear W21021945742012 @default.
- W2102194574 crossrefType "proceedings-article" @default.
- W2102194574 hasAuthorship W2102194574A5033696911 @default.
- W2102194574 hasAuthorship W2102194574A5047646994 @default.
- W2102194574 hasAuthorship W2102194574A5051613376 @default.
- W2102194574 hasAuthorship W2102194574A5053216941 @default.
- W2102194574 hasConcept C101468663 @default.
- W2102194574 hasConcept C121332964 @default.
- W2102194574 hasConcept C151730666 @default.
- W2102194574 hasConcept C154564781 @default.
- W2102194574 hasConcept C154690210 @default.
- W2102194574 hasConcept C156325763 @default.
- W2102194574 hasConcept C177264268 @default.
- W2102194574 hasConcept C184337299 @default.
- W2102194574 hasConcept C199360897 @default.
- W2102194574 hasConcept C2779343474 @default.
- W2102194574 hasConcept C2780654840 @default.
- W2102194574 hasConcept C41008148 @default.
- W2102194574 hasConcept C61797465 @default.
- W2102194574 hasConcept C62520636 @default.
- W2102194574 hasConcept C80444323 @default.
- W2102194574 hasConcept C86803240 @default.
- W2102194574 hasConceptScore W2102194574C101468663 @default.
- W2102194574 hasConceptScore W2102194574C121332964 @default.
- W2102194574 hasConceptScore W2102194574C151730666 @default.
- W2102194574 hasConceptScore W2102194574C154564781 @default.
- W2102194574 hasConceptScore W2102194574C154690210 @default.
- W2102194574 hasConceptScore W2102194574C156325763 @default.
- W2102194574 hasConceptScore W2102194574C177264268 @default.
- W2102194574 hasConceptScore W2102194574C184337299 @default.
- W2102194574 hasConceptScore W2102194574C199360897 @default.
- W2102194574 hasConceptScore W2102194574C2779343474 @default.
- W2102194574 hasConceptScore W2102194574C2780654840 @default.
- W2102194574 hasConceptScore W2102194574C41008148 @default.
- W2102194574 hasConceptScore W2102194574C61797465 @default.
- W2102194574 hasConceptScore W2102194574C62520636 @default.
- W2102194574 hasConceptScore W2102194574C80444323 @default.
- W2102194574 hasConceptScore W2102194574C86803240 @default.
- W2102194574 hasLocation W21021945741 @default.
- W2102194574 hasOpenAccess W2102194574 @default.
- W2102194574 hasPrimaryLocation W21021945741 @default.
- W2102194574 hasRelatedWork W1515515243 @default.
- W2102194574 hasRelatedWork W1594568141 @default.
- W2102194574 hasRelatedWork W2030762481 @default.
- W2102194574 hasRelatedWork W2045216220 @default.
- W2102194574 hasRelatedWork W2099080307 @default.
- W2102194574 hasRelatedWork W2142543897 @default.
- W2102194574 hasRelatedWork W2312503573 @default.
- W2102194574 hasRelatedWork W2517733820 @default.
- W2102194574 hasRelatedWork W1744983872 @default.
- W2102194574 hasRelatedWork W2475418661 @default.
- W2102194574 isParatext "false" @default.
- W2102194574 isRetracted "false" @default.
- W2102194574 magId "2102194574" @default.
- W2102194574 workType "article" @default.