Matches in SemOpenAlex for { <https://semopenalex.org/work/W2516251718> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2516251718 endingPage "20" @default.
- W2516251718 startingPage "3" @default.
- W2516251718 abstract "Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ELAN, which support: rich type structures with sorts, subsorts and overloading; and equational rewriting modulo axioms such as commutativity, associativity–commutativity, and associativity–commutativity–identity. In this paper, we illustrate the key concepts by showing how they apply to partial evaluation of expressive rule-based programs written in Maude. Our partial evaluation scheme is based on an automatic unfolding algorithm that computes term variants and relies on equational least general generalization for ensuring global termination. We demonstrate the use of the resulting partial evaluator for program optimization on several examples where it shows significant speed-ups." @default.
- W2516251718 created "2016-09-16" @default.
- W2516251718 creator A5007839082 @default.
- W2516251718 creator A5020290830 @default.
- W2516251718 creator A5032149189 @default.
- W2516251718 creator A5033696911 @default.
- W2516251718 date "2017-01-01" @default.
- W2516251718 modified "2023-10-15" @default.
- W2516251718 title "Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms" @default.
- W2516251718 cites W1568484765 @default.
- W2516251718 cites W1814631314 @default.
- W2516251718 cites W1820500030 @default.
- W2516251718 cites W2048748607 @default.
- W2516251718 cites W2048906114 @default.
- W2516251718 cites W2116776985 @default.
- W2516251718 cites W2146817259 @default.
- W2516251718 cites W2316113835 @default.
- W2516251718 doi "https://doi.org/10.1007/978-3-319-63139-4_1" @default.
- W2516251718 hasPublicationYear "2017" @default.
- W2516251718 type Work @default.
- W2516251718 sameAs 2516251718 @default.
- W2516251718 citedByCount "6" @default.
- W2516251718 countsByYear W25162517182018 @default.
- W2516251718 countsByYear W25162517182019 @default.
- W2516251718 countsByYear W25162517182020 @default.
- W2516251718 crossrefType "book-chapter" @default.
- W2516251718 hasAuthorship W2516251718A5007839082 @default.
- W2516251718 hasAuthorship W2516251718A5020290830 @default.
- W2516251718 hasAuthorship W2516251718A5032149189 @default.
- W2516251718 hasAuthorship W2516251718A5033696911 @default.
- W2516251718 hasBestOaLocation W25162517182 @default.
- W2516251718 hasConcept C10138342 @default.
- W2516251718 hasConcept C118615104 @default.
- W2516251718 hasConcept C162324750 @default.
- W2516251718 hasConcept C167729594 @default.
- W2516251718 hasConcept C182306322 @default.
- W2516251718 hasConcept C199360897 @default.
- W2516251718 hasConcept C206880738 @default.
- W2516251718 hasConcept C2524010 @default.
- W2516251718 hasConcept C33923547 @default.
- W2516251718 hasConcept C41008148 @default.
- W2516251718 hasConcept C54732982 @default.
- W2516251718 hasConcept C80444323 @default.
- W2516251718 hasConceptScore W2516251718C10138342 @default.
- W2516251718 hasConceptScore W2516251718C118615104 @default.
- W2516251718 hasConceptScore W2516251718C162324750 @default.
- W2516251718 hasConceptScore W2516251718C167729594 @default.
- W2516251718 hasConceptScore W2516251718C182306322 @default.
- W2516251718 hasConceptScore W2516251718C199360897 @default.
- W2516251718 hasConceptScore W2516251718C206880738 @default.
- W2516251718 hasConceptScore W2516251718C2524010 @default.
- W2516251718 hasConceptScore W2516251718C33923547 @default.
- W2516251718 hasConceptScore W2516251718C41008148 @default.
- W2516251718 hasConceptScore W2516251718C54732982 @default.
- W2516251718 hasConceptScore W2516251718C80444323 @default.
- W2516251718 hasLocation W25162517181 @default.
- W2516251718 hasLocation W25162517182 @default.
- W2516251718 hasOpenAccess W2516251718 @default.
- W2516251718 hasPrimaryLocation W25162517181 @default.
- W2516251718 hasRelatedWork W2061121751 @default.
- W2516251718 hasRelatedWork W2139859460 @default.
- W2516251718 hasRelatedWork W2141509534 @default.
- W2516251718 hasRelatedWork W2269124212 @default.
- W2516251718 hasRelatedWork W2516251718 @default.
- W2516251718 hasRelatedWork W2565018286 @default.
- W2516251718 hasRelatedWork W2742072979 @default.
- W2516251718 hasRelatedWork W2945435258 @default.
- W2516251718 hasRelatedWork W2963878891 @default.
- W2516251718 hasRelatedWork W4288540375 @default.
- W2516251718 isParatext "false" @default.
- W2516251718 isRetracted "false" @default.
- W2516251718 magId "2516251718" @default.
- W2516251718 workType "book-chapter" @default.