Matches in SemOpenAlex for { <https://semopenalex.org/work/W343307558> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W343307558 abstract "Several proposals for computing freeness information for logic programs have beenput forward in recent literature. The availability of such information has proven useful in a variety of applications, including parallelization of Prolog programs, optimizations inProlog compilers, as well as for improving the precision of other analyses. While theseproposals have illustrated the importance of such analyses, they lack formal justification.Moreover, several have been found incorrect. This paper introduces a novel domain ofabstract equation systems describing possible sharing and definite freeness of terms in asystem of equations. A simple and intuitive abstract unification algorithm is presented,providing the core of a correct and precise sharing and freeness analysis for logic programs.Our contribution is not only a correct algorithm, but perhaps primarily, the applicationof a systematic approach in which it is derived by mimicking each step in a suitableconcrete unification algorithm. Consequently, the abstract algorithm is intuitive - as itresembles the concrete algorithm. It is amenable to formal justification - as the proof ofcorrectness boils down to showing that each step in the concrete algorithm is mimickedby a corresponding step in the abstract algorithm. Finally, it is precise - as each stepmimics only those situations which can arise in the concrete algorithm." @default.
- W343307558 created "2016-06-24" @default.
- W343307558 creator A5004343076 @default.
- W343307558 creator A5063747415 @default.
- W343307558 creator A5076488735 @default.
- W343307558 creator A5076899726 @default.
- W343307558 date "1995-10-01" @default.
- W343307558 modified "2023-10-18" @default.
- W343307558 title "On the Design of a Correct Freeness Analysis for Logic Programs" @default.
- W343307558 hasPublicationYear "1995" @default.
- W343307558 type Work @default.
- W343307558 sameAs 343307558 @default.
- W343307558 citedByCount "0" @default.
- W343307558 crossrefType "journal-article" @default.
- W343307558 hasAuthorship W343307558A5004343076 @default.
- W343307558 hasAuthorship W343307558A5063747415 @default.
- W343307558 hasAuthorship W343307558A5076488735 @default.
- W343307558 hasAuthorship W343307558A5076899726 @default.
- W343307558 hasConcept C111472728 @default.
- W343307558 hasConcept C11413529 @default.
- W343307558 hasConcept C128838566 @default.
- W343307558 hasConcept C134306372 @default.
- W343307558 hasConcept C136197465 @default.
- W343307558 hasConcept C138885662 @default.
- W343307558 hasConcept C154945302 @default.
- W343307558 hasConcept C169590947 @default.
- W343307558 hasConcept C199360897 @default.
- W343307558 hasConcept C2164484 @default.
- W343307558 hasConcept C2780586882 @default.
- W343307558 hasConcept C33923547 @default.
- W343307558 hasConcept C36503486 @default.
- W343307558 hasConcept C41008148 @default.
- W343307558 hasConcept C55439883 @default.
- W343307558 hasConcept C76155785 @default.
- W343307558 hasConcept C80444323 @default.
- W343307558 hasConcept C81721847 @default.
- W343307558 hasConcept C96146094 @default.
- W343307558 hasConceptScore W343307558C111472728 @default.
- W343307558 hasConceptScore W343307558C11413529 @default.
- W343307558 hasConceptScore W343307558C128838566 @default.
- W343307558 hasConceptScore W343307558C134306372 @default.
- W343307558 hasConceptScore W343307558C136197465 @default.
- W343307558 hasConceptScore W343307558C138885662 @default.
- W343307558 hasConceptScore W343307558C154945302 @default.
- W343307558 hasConceptScore W343307558C169590947 @default.
- W343307558 hasConceptScore W343307558C199360897 @default.
- W343307558 hasConceptScore W343307558C2164484 @default.
- W343307558 hasConceptScore W343307558C2780586882 @default.
- W343307558 hasConceptScore W343307558C33923547 @default.
- W343307558 hasConceptScore W343307558C36503486 @default.
- W343307558 hasConceptScore W343307558C41008148 @default.
- W343307558 hasConceptScore W343307558C55439883 @default.
- W343307558 hasConceptScore W343307558C76155785 @default.
- W343307558 hasConceptScore W343307558C80444323 @default.
- W343307558 hasConceptScore W343307558C81721847 @default.
- W343307558 hasConceptScore W343307558C96146094 @default.
- W343307558 hasLocation W3433075581 @default.
- W343307558 hasOpenAccess W343307558 @default.
- W343307558 hasPrimaryLocation W3433075581 @default.
- W343307558 hasRelatedWork W12807312 @default.
- W343307558 hasRelatedWork W1493318828 @default.
- W343307558 hasRelatedWork W1516518073 @default.
- W343307558 hasRelatedWork W1530251652 @default.
- W343307558 hasRelatedWork W1971941065 @default.
- W343307558 hasRelatedWork W1975813326 @default.
- W343307558 hasRelatedWork W2001265243 @default.
- W343307558 hasRelatedWork W2006508316 @default.
- W343307558 hasRelatedWork W2027972092 @default.
- W343307558 hasRelatedWork W2404963320 @default.
- W343307558 hasRelatedWork W2505952163 @default.
- W343307558 hasRelatedWork W2539027192 @default.
- W343307558 hasRelatedWork W2612872244 @default.
- W343307558 hasRelatedWork W2763422028 @default.
- W343307558 hasRelatedWork W2950808278 @default.
- W343307558 hasRelatedWork W2951494809 @default.
- W343307558 hasRelatedWork W2951525955 @default.
- W343307558 hasRelatedWork W3186751383 @default.
- W343307558 hasRelatedWork W98495262 @default.
- W343307558 hasRelatedWork W2182472493 @default.
- W343307558 hasVolume "145" @default.
- W343307558 isParatext "false" @default.
- W343307558 isRetracted "false" @default.
- W343307558 magId "343307558" @default.
- W343307558 workType "article" @default.