Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952912161> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2952912161 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: 1) rich type structures with sorts, subsorts and overloading; 2) equational rewriting modulo axioms such as commutativity, associativity-commutativity, and associativity-commutativity-identity. In this extended abstract, 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.
- W2952912161 created "2019-06-27" @default.
- W2952912161 creator A5007839082 @default.
- W2952912161 creator A5032149189 @default.
- W2952912161 creator A5033696911 @default.
- W2952912161 creator A5042781454 @default.
- W2952912161 date "2016-08-11" @default.
- W2952912161 modified "2023-10-15" @default.
- W2952912161 title "Partial Evaluation of Order-sorted Equational Programs modulo Axioms" @default.
- W2952912161 cites W1556604985 @default.
- W2952912161 cites W1820500030 @default.
- W2952912161 cites W2048906114 @default.
- W2952912161 cites W2116776985 @default.
- W2952912161 cites W2127455814 @default.
- W2952912161 cites W2146817259 @default.
- W2952912161 cites W2208923056 @default.
- W2952912161 cites W2316113835 @default.
- W2952912161 hasPublicationYear "2016" @default.
- W2952912161 type Work @default.
- W2952912161 sameAs 2952912161 @default.
- W2952912161 citedByCount "0" @default.
- W2952912161 crossrefType "posted-content" @default.
- W2952912161 hasAuthorship W2952912161A5007839082 @default.
- W2952912161 hasAuthorship W2952912161A5032149189 @default.
- W2952912161 hasAuthorship W2952912161A5033696911 @default.
- W2952912161 hasAuthorship W2952912161A5042781454 @default.
- W2952912161 hasConcept C118615104 @default.
- W2952912161 hasConcept C134306372 @default.
- W2952912161 hasConcept C136119220 @default.
- W2952912161 hasConcept C151730666 @default.
- W2952912161 hasConcept C154564781 @default.
- W2952912161 hasConcept C154690210 @default.
- W2952912161 hasConcept C159423971 @default.
- W2952912161 hasConcept C167729594 @default.
- W2952912161 hasConcept C177148314 @default.
- W2952912161 hasConcept C183778304 @default.
- W2952912161 hasConcept C195701839 @default.
- W2952912161 hasConcept C199360897 @default.
- W2952912161 hasConcept C202444582 @default.
- W2952912161 hasConcept C2524010 @default.
- W2952912161 hasConcept C2778361913 @default.
- W2952912161 hasConcept C2779343474 @default.
- W2952912161 hasConcept C33923547 @default.
- W2952912161 hasConcept C40409056 @default.
- W2952912161 hasConcept C41008148 @default.
- W2952912161 hasConcept C54732982 @default.
- W2952912161 hasConcept C77618280 @default.
- W2952912161 hasConcept C80444323 @default.
- W2952912161 hasConcept C86803240 @default.
- W2952912161 hasConceptScore W2952912161C118615104 @default.
- W2952912161 hasConceptScore W2952912161C134306372 @default.
- W2952912161 hasConceptScore W2952912161C136119220 @default.
- W2952912161 hasConceptScore W2952912161C151730666 @default.
- W2952912161 hasConceptScore W2952912161C154564781 @default.
- W2952912161 hasConceptScore W2952912161C154690210 @default.
- W2952912161 hasConceptScore W2952912161C159423971 @default.
- W2952912161 hasConceptScore W2952912161C167729594 @default.
- W2952912161 hasConceptScore W2952912161C177148314 @default.
- W2952912161 hasConceptScore W2952912161C183778304 @default.
- W2952912161 hasConceptScore W2952912161C195701839 @default.
- W2952912161 hasConceptScore W2952912161C199360897 @default.
- W2952912161 hasConceptScore W2952912161C202444582 @default.
- W2952912161 hasConceptScore W2952912161C2524010 @default.
- W2952912161 hasConceptScore W2952912161C2778361913 @default.
- W2952912161 hasConceptScore W2952912161C2779343474 @default.
- W2952912161 hasConceptScore W2952912161C33923547 @default.
- W2952912161 hasConceptScore W2952912161C40409056 @default.
- W2952912161 hasConceptScore W2952912161C41008148 @default.
- W2952912161 hasConceptScore W2952912161C54732982 @default.
- W2952912161 hasConceptScore W2952912161C77618280 @default.
- W2952912161 hasConceptScore W2952912161C80444323 @default.
- W2952912161 hasConceptScore W2952912161C86803240 @default.
- W2952912161 hasLocation W29529121611 @default.
- W2952912161 hasOpenAccess W2952912161 @default.
- W2952912161 hasPrimaryLocation W29529121611 @default.
- W2952912161 hasRelatedWork W1493731753 @default.
- W2952912161 hasRelatedWork W1503053745 @default.
- W2952912161 hasRelatedWork W1503828605 @default.
- W2952912161 hasRelatedWork W1540190633 @default.
- W2952912161 hasRelatedWork W1548342449 @default.
- W2952912161 hasRelatedWork W1550772503 @default.
- W2952912161 hasRelatedWork W1553416476 @default.
- W2952912161 hasRelatedWork W1555641440 @default.
- W2952912161 hasRelatedWork W1567063112 @default.
- W2952912161 hasRelatedWork W1768580032 @default.
- W2952912161 hasRelatedWork W176905816 @default.
- W2952912161 hasRelatedWork W1862544530 @default.
- W2952912161 hasRelatedWork W2019496318 @default.
- W2952912161 hasRelatedWork W2077398822 @default.
- W2952912161 hasRelatedWork W2092636009 @default.
- W2952912161 hasRelatedWork W2128101632 @default.
- W2952912161 hasRelatedWork W2149640269 @default.
- W2952912161 hasRelatedWork W2156318632 @default.
- W2952912161 hasRelatedWork W2170798886 @default.
- W2952912161 hasRelatedWork W645451783 @default.
- W2952912161 isParatext "false" @default.
- W2952912161 isRetracted "false" @default.
- W2952912161 magId "2952912161" @default.
- W2952912161 workType "article" @default.