Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569467303> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1569467303 abstract "Making a Prolog program more efficient by transforming its source code, without changing its operational semantics, is not an obvious task. It requires the user to have a clear understanding of how the Prolog compiler works, and in particular, of the effects of impure features like the cut. The way a Prolog code is written - e.g., the order of clauses, the order of literals in a clause, the use of cuts or negations - influences its efficiency. Furthermore, different optimization techniques may be redundant or conflicting when they are applied together, depending on the way a procedure is called - e.g., inserting cuts and enabling indexing. We present an optimiser, based on abstract interpretation, that automatically performs safe code transformations of Prolog procedures in the context of some class of input calls. The method is more effective if procedures are annotated with additional information about modes, types, sharing, number of solutions and the like. Thus the approach is similar to Mercury. It applies to any Prolog program, however." @default.
- W1569467303 created "2016-06-24" @default.
- W1569467303 creator A5025418652 @default.
- W1569467303 creator A5076576152 @default.
- W1569467303 date "2007-10-31" @default.
- W1569467303 modified "2023-09-27" @default.
- W1569467303 title "Source-to-source optimizing transformations of Prolog programs based on abstract interpretation" @default.
- W1569467303 cites W1488560674 @default.
- W1569467303 cites W1501017496 @default.
- W1569467303 cites W1559402073 @default.
- W1569467303 cites W1597918680 @default.
- W1569467303 cites W1967211314 @default.
- W1569467303 cites W1967769240 @default.
- W1569467303 cites W1982243747 @default.
- W1569467303 cites W2024886390 @default.
- W1569467303 cites W207722629 @default.
- W1569467303 cites W2099043173 @default.
- W1569467303 cites W2116325485 @default.
- W1569467303 cites W2150676690 @default.
- W1569467303 hasPublicationYear "2007" @default.
- W1569467303 type Work @default.
- W1569467303 sameAs 1569467303 @default.
- W1569467303 citedByCount "0" @default.
- W1569467303 crossrefType "posted-content" @default.
- W1569467303 hasAuthorship W1569467303A5025418652 @default.
- W1569467303 hasAuthorship W1569467303A5076576152 @default.
- W1569467303 hasConcept C154945302 @default.
- W1569467303 hasConcept C169590947 @default.
- W1569467303 hasConcept C184337299 @default.
- W1569467303 hasConcept C199360897 @default.
- W1569467303 hasConcept C2778361913 @default.
- W1569467303 hasConcept C41008148 @default.
- W1569467303 hasConcept C43126263 @default.
- W1569467303 hasConcept C527412718 @default.
- W1569467303 hasConcept C75165309 @default.
- W1569467303 hasConcept C80444323 @default.
- W1569467303 hasConcept C81721847 @default.
- W1569467303 hasConceptScore W1569467303C154945302 @default.
- W1569467303 hasConceptScore W1569467303C169590947 @default.
- W1569467303 hasConceptScore W1569467303C184337299 @default.
- W1569467303 hasConceptScore W1569467303C199360897 @default.
- W1569467303 hasConceptScore W1569467303C2778361913 @default.
- W1569467303 hasConceptScore W1569467303C41008148 @default.
- W1569467303 hasConceptScore W1569467303C43126263 @default.
- W1569467303 hasConceptScore W1569467303C527412718 @default.
- W1569467303 hasConceptScore W1569467303C75165309 @default.
- W1569467303 hasConceptScore W1569467303C80444323 @default.
- W1569467303 hasConceptScore W1569467303C81721847 @default.
- W1569467303 hasLocation W15694673031 @default.
- W1569467303 hasOpenAccess W1569467303 @default.
- W1569467303 hasPrimaryLocation W15694673031 @default.
- W1569467303 hasRelatedWork W1517417277 @default.
- W1569467303 hasRelatedWork W1874448623 @default.
- W1569467303 hasRelatedWork W1883702554 @default.
- W1569467303 hasRelatedWork W1967875270 @default.
- W1569467303 hasRelatedWork W197367664 @default.
- W1569467303 hasRelatedWork W1981858646 @default.
- W1569467303 hasRelatedWork W1990050510 @default.
- W1569467303 hasRelatedWork W1996257542 @default.
- W1569467303 hasRelatedWork W2479043920 @default.
- W1569467303 hasRelatedWork W2730816057 @default.
- W1569467303 hasRelatedWork W2747300583 @default.
- W1569467303 hasRelatedWork W2752509461 @default.
- W1569467303 hasRelatedWork W2785697622 @default.
- W1569467303 hasRelatedWork W2886612400 @default.
- W1569467303 hasRelatedWork W2907501963 @default.
- W1569467303 hasRelatedWork W2959594300 @default.
- W1569467303 hasRelatedWork W3019340178 @default.
- W1569467303 hasRelatedWork W3091875978 @default.
- W1569467303 hasRelatedWork W3195094068 @default.
- W1569467303 hasRelatedWork W2911410926 @default.
- W1569467303 isParatext "false" @default.
- W1569467303 isRetracted "false" @default.
- W1569467303 magId "1569467303" @default.
- W1569467303 workType "article" @default.