Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486252159> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1486252159 endingPage "68" @default.
- W1486252159 startingPage "53" @default.
- W1486252159 abstract "Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and ensure the termination of the partial evaluation. We present an algorithm for generating these annotations automatically. The algorithm uses state-of-the-art termination analysis techniques, combined with a new type-based abstract interpretation for propagating the binding types. This algorithm has been implemented as part of the logen partial evaluation system, along with a graphical annotation visualiser and editor, and we report on the performance of the algorithm for a series of benchmarks." @default.
- W1486252159 created "2016-06-24" @default.
- W1486252159 creator A5020698393 @default.
- W1486252159 creator A5037108495 @default.
- W1486252159 creator A5058847017 @default.
- W1486252159 creator A5072892173 @default.
- W1486252159 date "2005-01-01" @default.
- W1486252159 modified "2023-10-16" @default.
- W1486252159 title "Fully Automatic Binding-Time Analysis for Prolog" @default.
- W1486252159 cites W137082309 @default.
- W1486252159 cites W1485053244 @default.
- W1486252159 cites W1488214424 @default.
- W1486252159 cites W1495626710 @default.
- W1486252159 cites W1496121453 @default.
- W1486252159 cites W1568232257 @default.
- W1486252159 cites W1576887853 @default.
- W1486252159 cites W1589827093 @default.
- W1486252159 cites W1592042765 @default.
- W1486252159 cites W1593317697 @default.
- W1486252159 cites W1596577905 @default.
- W1486252159 cites W1775494561 @default.
- W1486252159 cites W1863927867 @default.
- W1486252159 cites W1996679397 @default.
- W1486252159 cites W2012397892 @default.
- W1486252159 cites W2037317228 @default.
- W1486252159 cites W2109075404 @default.
- W1486252159 doi "https://doi.org/10.1007/11506676_4" @default.
- W1486252159 hasPublicationYear "2005" @default.
- W1486252159 type Work @default.
- W1486252159 sameAs 1486252159 @default.
- W1486252159 citedByCount "17" @default.
- W1486252159 countsByYear W14862521592013 @default.
- W1486252159 countsByYear W14862521592014 @default.
- W1486252159 countsByYear W14862521592018 @default.
- W1486252159 countsByYear W14862521592019 @default.
- W1486252159 crossrefType "book-chapter" @default.
- W1486252159 hasAuthorship W1486252159A5020698393 @default.
- W1486252159 hasAuthorship W1486252159A5037108495 @default.
- W1486252159 hasAuthorship W1486252159A5058847017 @default.
- W1486252159 hasAuthorship W1486252159A5072892173 @default.
- W1486252159 hasBestOaLocation W14862521592 @default.
- W1486252159 hasConcept C11413529 @default.
- W1486252159 hasConcept C124101348 @default.
- W1486252159 hasConcept C143724316 @default.
- W1486252159 hasConcept C151730666 @default.
- W1486252159 hasConcept C154945302 @default.
- W1486252159 hasConcept C195701839 @default.
- W1486252159 hasConcept C199360897 @default.
- W1486252159 hasConcept C2776321320 @default.
- W1486252159 hasConcept C2780654840 @default.
- W1486252159 hasConcept C41008148 @default.
- W1486252159 hasConcept C48103436 @default.
- W1486252159 hasConcept C527412718 @default.
- W1486252159 hasConcept C80444323 @default.
- W1486252159 hasConcept C81721847 @default.
- W1486252159 hasConcept C86803240 @default.
- W1486252159 hasConcept C98045186 @default.
- W1486252159 hasConceptScore W1486252159C11413529 @default.
- W1486252159 hasConceptScore W1486252159C124101348 @default.
- W1486252159 hasConceptScore W1486252159C143724316 @default.
- W1486252159 hasConceptScore W1486252159C151730666 @default.
- W1486252159 hasConceptScore W1486252159C154945302 @default.
- W1486252159 hasConceptScore W1486252159C195701839 @default.
- W1486252159 hasConceptScore W1486252159C199360897 @default.
- W1486252159 hasConceptScore W1486252159C2776321320 @default.
- W1486252159 hasConceptScore W1486252159C2780654840 @default.
- W1486252159 hasConceptScore W1486252159C41008148 @default.
- W1486252159 hasConceptScore W1486252159C48103436 @default.
- W1486252159 hasConceptScore W1486252159C527412718 @default.
- W1486252159 hasConceptScore W1486252159C80444323 @default.
- W1486252159 hasConceptScore W1486252159C81721847 @default.
- W1486252159 hasConceptScore W1486252159C86803240 @default.
- W1486252159 hasConceptScore W1486252159C98045186 @default.
- W1486252159 hasLocation W14862521591 @default.
- W1486252159 hasLocation W14862521592 @default.
- W1486252159 hasLocation W14862521593 @default.
- W1486252159 hasLocation W14862521594 @default.
- W1486252159 hasOpenAccess W1486252159 @default.
- W1486252159 hasPrimaryLocation W14862521591 @default.
- W1486252159 hasRelatedWork W1532795106 @default.
- W1486252159 hasRelatedWork W1608659702 @default.
- W1486252159 hasRelatedWork W1997254051 @default.
- W1486252159 hasRelatedWork W2037317228 @default.
- W1486252159 hasRelatedWork W2042386232 @default.
- W1486252159 hasRelatedWork W2088007073 @default.
- W1486252159 hasRelatedWork W2112962394 @default.
- W1486252159 hasRelatedWork W2379521952 @default.
- W1486252159 hasRelatedWork W2473250120 @default.
- W1486252159 hasRelatedWork W2611182424 @default.
- W1486252159 isParatext "false" @default.
- W1486252159 isRetracted "false" @default.
- W1486252159 magId "1486252159" @default.
- W1486252159 workType "book-chapter" @default.