Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146369345> ?p ?o ?g. }
- W2146369345 endingPage "525" @default.
- W2146369345 startingPage "483" @default.
- W2146369345 abstract "We present a general method to transform a compositional specification of a specializer for a functional programming language into a set of combinators that can be used to perform the same specialization more efficiently. The main transformation steps are the transition to higher-order abstract syntax and untagging. All transformation steps are proved correct. The resulting combinators can be implemented in any functional language, typed or untyped, pure or impure. They may also be considered as forming a domain-specific language for meta-programming. We demonstrate the generality of the method by applying it to several specializers of increasing strength. We demonstrate its efficiency by comparing it with a traditional specialization system based on self-application." @default.
- W2146369345 created "2016-06-24" @default.
- W2146369345 creator A5000384936 @default.
- W2146369345 date "1999-09-01" @default.
- W2146369345 modified "2023-10-16" @default.
- W2146369345 title "Combinators for program generation" @default.
- W2146369345 cites W141686462 @default.
- W2146369345 cites W1556604985 @default.
- W2146369345 cites W1569582176 @default.
- W2146369345 cites W1570178357 @default.
- W2146369345 cites W1608933122 @default.
- W2146369345 cites W1816220807 @default.
- W2146369345 cites W1970572886 @default.
- W2146369345 cites W1975575519 @default.
- W2146369345 cites W1987031623 @default.
- W2146369345 cites W1988932014 @default.
- W2146369345 cites W1992124283 @default.
- W2146369345 cites W1996081324 @default.
- W2146369345 cites W1996404651 @default.
- W2146369345 cites W1999336811 @default.
- W2146369345 cites W2002301065 @default.
- W2146369345 cites W2002529995 @default.
- W2146369345 cites W2009464583 @default.
- W2146369345 cites W2015256273 @default.
- W2146369345 cites W2021951417 @default.
- W2146369345 cites W2040559529 @default.
- W2146369345 cites W2046645050 @default.
- W2146369345 cites W2046965757 @default.
- W2146369345 cites W2058958439 @default.
- W2146369345 cites W2074268752 @default.
- W2146369345 cites W2090641022 @default.
- W2146369345 cites W2095460218 @default.
- W2146369345 cites W2096314727 @default.
- W2146369345 cites W2106445678 @default.
- W2146369345 cites W2110656424 @default.
- W2146369345 cites W2111304450 @default.
- W2146369345 cites W2111443557 @default.
- W2146369345 cites W2117161590 @default.
- W2146369345 cites W2139966078 @default.
- W2146369345 cites W2143964278 @default.
- W2146369345 cites W2147795501 @default.
- W2146369345 cites W2156876717 @default.
- W2146369345 cites W2158778600 @default.
- W2146369345 cites W2166030873 @default.
- W2146369345 cites W2168866950 @default.
- W2146369345 cites W2293168108 @default.
- W2146369345 cites W2294422796 @default.
- W2146369345 cites W2572804059 @default.
- W2146369345 cites W48502565 @default.
- W2146369345 cites W9614445 @default.
- W2146369345 cites W1571641692 @default.
- W2146369345 doi "https://doi.org/10.1017/s0956796899003469" @default.
- W2146369345 hasPublicationYear "1999" @default.
- W2146369345 type Work @default.
- W2146369345 sameAs 2146369345 @default.
- W2146369345 citedByCount "42" @default.
- W2146369345 countsByYear W21463693452012 @default.
- W2146369345 countsByYear W21463693452014 @default.
- W2146369345 countsByYear W21463693452015 @default.
- W2146369345 countsByYear W21463693452016 @default.
- W2146369345 countsByYear W21463693452017 @default.
- W2146369345 countsByYear W21463693452023 @default.
- W2146369345 crossrefType "journal-article" @default.
- W2146369345 hasAuthorship W2146369345A5000384936 @default.
- W2146369345 hasConcept C104317684 @default.
- W2146369345 hasConcept C114408938 @default.
- W2146369345 hasConcept C134306372 @default.
- W2146369345 hasConcept C135257023 @default.
- W2146369345 hasConcept C154945302 @default.
- W2146369345 hasConcept C15744967 @default.
- W2146369345 hasConcept C177264268 @default.
- W2146369345 hasConcept C184337299 @default.
- W2146369345 hasConcept C185592680 @default.
- W2146369345 hasConcept C186644900 @default.
- W2146369345 hasConcept C199360897 @default.
- W2146369345 hasConcept C204241405 @default.
- W2146369345 hasConcept C2778361913 @default.
- W2146369345 hasConcept C2780767217 @default.
- W2146369345 hasConcept C33923547 @default.
- W2146369345 hasConcept C36503486 @default.
- W2146369345 hasConcept C41008148 @default.
- W2146369345 hasConcept C42383842 @default.
- W2146369345 hasConcept C542102704 @default.
- W2146369345 hasConcept C55493867 @default.
- W2146369345 hasConcept C58646249 @default.
- W2146369345 hasConcept C60048249 @default.
- W2146369345 hasConcept C79678938 @default.
- W2146369345 hasConcept C80444323 @default.
- W2146369345 hasConceptScore W2146369345C104317684 @default.
- W2146369345 hasConceptScore W2146369345C114408938 @default.
- W2146369345 hasConceptScore W2146369345C134306372 @default.
- W2146369345 hasConceptScore W2146369345C135257023 @default.
- W2146369345 hasConceptScore W2146369345C154945302 @default.
- W2146369345 hasConceptScore W2146369345C15744967 @default.
- W2146369345 hasConceptScore W2146369345C177264268 @default.
- W2146369345 hasConceptScore W2146369345C184337299 @default.
- W2146369345 hasConceptScore W2146369345C185592680 @default.
- W2146369345 hasConceptScore W2146369345C186644900 @default.