Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560745079> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1560745079 abstract "Meta-level compositions of object logic programs are naturally implemented by means of meta-programming techniques. Metainterpreters defining program compositions however suffer from a computational overhead that is due partly to the interpretation layer present in all meta-programs, and partly to the specific interpretation layer needed to deal with program compositions. We show that meta-interpreters implementing compositions of object programs can be fruitfully specialised w.r.t. meta-level queries of the form Demo(E,G), where E denotes a program expression and G denotes a (partially instantiated) object level query. More precisely, we describe the design and implementation of a declarative program specialiser that suitably transforms such metainterpreters so as to sensibly reduce — if not to completely remove — the overhead due to the handling of program compositions. In many cases the specialiser succeeds in eliminating also the overhead due to meta-interpretation." @default.
- W1560745079 created "2016-06-24" @default.
- W1560745079 creator A5016065727 @default.
- W1560745079 creator A5046300674 @default.
- W1560745079 date "1997-01-01" @default.
- W1560745079 modified "2023-09-27" @default.
- W1560745079 title "Specialising meta-level compositions of logic programs" @default.
- W1560745079 cites W153405243 @default.
- W1560745079 cites W1544854192 @default.
- W1560745079 cites W1912157869 @default.
- W1560745079 cites W1988185893 @default.
- W1560745079 cites W1991589943 @default.
- W1560745079 cites W2008251703 @default.
- W1560745079 cites W2009597235 @default.
- W1560745079 cites W2017160649 @default.
- W1560745079 cites W2037035101 @default.
- W1560745079 cites W2048831705 @default.
- W1560745079 cites W2049362499 @default.
- W1560745079 cites W2066992739 @default.
- W1560745079 cites W2143044990 @default.
- W1560745079 cites W4206370914 @default.
- W1560745079 doi "https://doi.org/10.1007/3-540-62718-9_16" @default.
- W1560745079 hasPublicationYear "1997" @default.
- W1560745079 type Work @default.
- W1560745079 sameAs 1560745079 @default.
- W1560745079 citedByCount "1" @default.
- W1560745079 crossrefType "book-chapter" @default.
- W1560745079 hasAuthorship W1560745079A5016065727 @default.
- W1560745079 hasAuthorship W1560745079A5046300674 @default.
- W1560745079 hasConcept C122783720 @default.
- W1560745079 hasConcept C128838566 @default.
- W1560745079 hasConcept C154945302 @default.
- W1560745079 hasConcept C178790620 @default.
- W1560745079 hasConcept C185592680 @default.
- W1560745079 hasConcept C199360897 @default.
- W1560745079 hasConcept C2778361913 @default.
- W1560745079 hasConcept C2779227376 @default.
- W1560745079 hasConcept C2779960059 @default.
- W1560745079 hasConcept C2780654840 @default.
- W1560745079 hasConcept C2781238097 @default.
- W1560745079 hasConcept C2987117450 @default.
- W1560745079 hasConcept C35390924 @default.
- W1560745079 hasConcept C41008148 @default.
- W1560745079 hasConcept C527412718 @default.
- W1560745079 hasConcept C73752529 @default.
- W1560745079 hasConcept C80444323 @default.
- W1560745079 hasConcept C98183937 @default.
- W1560745079 hasConceptScore W1560745079C122783720 @default.
- W1560745079 hasConceptScore W1560745079C128838566 @default.
- W1560745079 hasConceptScore W1560745079C154945302 @default.
- W1560745079 hasConceptScore W1560745079C178790620 @default.
- W1560745079 hasConceptScore W1560745079C185592680 @default.
- W1560745079 hasConceptScore W1560745079C199360897 @default.
- W1560745079 hasConceptScore W1560745079C2778361913 @default.
- W1560745079 hasConceptScore W1560745079C2779227376 @default.
- W1560745079 hasConceptScore W1560745079C2779960059 @default.
- W1560745079 hasConceptScore W1560745079C2780654840 @default.
- W1560745079 hasConceptScore W1560745079C2781238097 @default.
- W1560745079 hasConceptScore W1560745079C2987117450 @default.
- W1560745079 hasConceptScore W1560745079C35390924 @default.
- W1560745079 hasConceptScore W1560745079C41008148 @default.
- W1560745079 hasConceptScore W1560745079C527412718 @default.
- W1560745079 hasConceptScore W1560745079C73752529 @default.
- W1560745079 hasConceptScore W1560745079C80444323 @default.
- W1560745079 hasConceptScore W1560745079C98183937 @default.
- W1560745079 hasLocation W15607450791 @default.
- W1560745079 hasOpenAccess W1560745079 @default.
- W1560745079 hasPrimaryLocation W15607450791 @default.
- W1560745079 hasRelatedWork W1479699308 @default.
- W1560745079 hasRelatedWork W1494783798 @default.
- W1560745079 hasRelatedWork W1496533819 @default.
- W1560745079 hasRelatedWork W1497796457 @default.
- W1560745079 hasRelatedWork W1504480574 @default.
- W1560745079 hasRelatedWork W151144758 @default.
- W1560745079 hasRelatedWork W1513061173 @default.
- W1560745079 hasRelatedWork W1547998134 @default.
- W1560745079 hasRelatedWork W1579358114 @default.
- W1560745079 hasRelatedWork W1586556581 @default.
- W1560745079 hasRelatedWork W1594885076 @default.
- W1560745079 hasRelatedWork W1669266844 @default.
- W1560745079 hasRelatedWork W2012035115 @default.
- W1560745079 hasRelatedWork W2092540255 @default.
- W1560745079 hasRelatedWork W2121389878 @default.
- W1560745079 hasRelatedWork W2137054551 @default.
- W1560745079 hasRelatedWork W2319980797 @default.
- W1560745079 hasRelatedWork W2481242044 @default.
- W1560745079 hasRelatedWork W35302340 @default.
- W1560745079 hasRelatedWork W1948202499 @default.
- W1560745079 isParatext "false" @default.
- W1560745079 isRetracted "false" @default.
- W1560745079 magId "1560745079" @default.
- W1560745079 workType "book-chapter" @default.