Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983385612> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1983385612 endingPage "125" @default.
- W1983385612 startingPage "93" @default.
- W1983385612 abstract "This paper presents a formal framework for the bottom-up abstract interpretation of logic programs which can be applied to approximate answer substitutions, partial answer substitutions and call patterns for a given program and arbitrary initial goal. The framework is based on a Tp-like semantics defined over a Herbrand universe with variables which has previously been shown to determine the answer substitutions for arbitrary initial goals. The first part of the paper reconstructs this semantics to provide a more adequate initial goals. The first part of the paper reconstructs this semantics to provide a more adequate basis for abstract interpretation. A notion of abstract substitution is introduced and shown to determine an abstract semantic function which for a given program can be applied to approximate the answer substitutions for an arbitrary initial goal. The second part of the paper extends the bottom-up approach to provide approximations of both partial answer substitutions and call patterns. This is achieved by applying Magic Sets and other existing techniques to transform a program in such a way that the answer substitutions of the transformed program correspond to the partial answer substitutions and call patterns of the original program. This facilitates the analysis of concurrent logic programs (ignoring synchronization) and provides a collecting semantics which characterizes both success and call patterns." @default.
- W1983385612 created "2016-06-24" @default.
- W1983385612 creator A5045630135 @default.
- W1983385612 creator A5063747415 @default.
- W1983385612 creator A5076899726 @default.
- W1983385612 date "1994-02-01" @default.
- W1983385612 modified "2023-10-16" @default.
- W1983385612 title "Bottom-up abstract interpretation of logic programs" @default.
- W1983385612 cites W1974891472 @default.
- W1983385612 cites W2012662948 @default.
- W1983385612 cites W2036240164 @default.
- W1983385612 cites W2037439718 @default.
- W1983385612 cites W2069293912 @default.
- W1983385612 cites W2070553391 @default.
- W1983385612 cites W2075610180 @default.
- W1983385612 cites W207722629 @default.
- W1983385612 cites W2089111669 @default.
- W1983385612 cites W2139875914 @default.
- W1983385612 doi "https://doi.org/10.1016/0304-3975(94)90055-8" @default.
- W1983385612 hasPublicationYear "1994" @default.
- W1983385612 type Work @default.
- W1983385612 sameAs 1983385612 @default.
- W1983385612 citedByCount "48" @default.
- W1983385612 countsByYear W19833856122013 @default.
- W1983385612 countsByYear W19833856122021 @default.
- W1983385612 crossrefType "journal-article" @default.
- W1983385612 hasAuthorship W1983385612A5045630135 @default.
- W1983385612 hasAuthorship W1983385612A5063747415 @default.
- W1983385612 hasAuthorship W1983385612A5076899726 @default.
- W1983385612 hasConcept C11413529 @default.
- W1983385612 hasConcept C121332964 @default.
- W1983385612 hasConcept C128838566 @default.
- W1983385612 hasConcept C14036430 @default.
- W1983385612 hasConcept C184337299 @default.
- W1983385612 hasConcept C195701839 @default.
- W1983385612 hasConcept C199360897 @default.
- W1983385612 hasConcept C2777704519 @default.
- W1983385612 hasConcept C2778220771 @default.
- W1983385612 hasConcept C2780654840 @default.
- W1983385612 hasConcept C2987117450 @default.
- W1983385612 hasConcept C41008148 @default.
- W1983385612 hasConcept C527412718 @default.
- W1983385612 hasConcept C62520636 @default.
- W1983385612 hasConcept C78458016 @default.
- W1983385612 hasConcept C80444323 @default.
- W1983385612 hasConcept C86803240 @default.
- W1983385612 hasConcept C98183937 @default.
- W1983385612 hasConceptScore W1983385612C11413529 @default.
- W1983385612 hasConceptScore W1983385612C121332964 @default.
- W1983385612 hasConceptScore W1983385612C128838566 @default.
- W1983385612 hasConceptScore W1983385612C14036430 @default.
- W1983385612 hasConceptScore W1983385612C184337299 @default.
- W1983385612 hasConceptScore W1983385612C195701839 @default.
- W1983385612 hasConceptScore W1983385612C199360897 @default.
- W1983385612 hasConceptScore W1983385612C2777704519 @default.
- W1983385612 hasConceptScore W1983385612C2778220771 @default.
- W1983385612 hasConceptScore W1983385612C2780654840 @default.
- W1983385612 hasConceptScore W1983385612C2987117450 @default.
- W1983385612 hasConceptScore W1983385612C41008148 @default.
- W1983385612 hasConceptScore W1983385612C527412718 @default.
- W1983385612 hasConceptScore W1983385612C62520636 @default.
- W1983385612 hasConceptScore W1983385612C78458016 @default.
- W1983385612 hasConceptScore W1983385612C80444323 @default.
- W1983385612 hasConceptScore W1983385612C86803240 @default.
- W1983385612 hasConceptScore W1983385612C98183937 @default.
- W1983385612 hasIssue "1" @default.
- W1983385612 hasLocation W19833856121 @default.
- W1983385612 hasOpenAccess W1983385612 @default.
- W1983385612 hasPrimaryLocation W19833856121 @default.
- W1983385612 hasRelatedWork W1483759049 @default.
- W1983385612 hasRelatedWork W1569188499 @default.
- W1983385612 hasRelatedWork W1879453804 @default.
- W1983385612 hasRelatedWork W1983385612 @default.
- W1983385612 hasRelatedWork W2074638034 @default.
- W1983385612 hasRelatedWork W2092817854 @default.
- W1983385612 hasRelatedWork W2142782287 @default.
- W1983385612 hasRelatedWork W2172022734 @default.
- W1983385612 hasRelatedWork W2970480852 @default.
- W1983385612 hasRelatedWork W3146823024 @default.
- W1983385612 hasVolume "124" @default.
- W1983385612 isParatext "false" @default.
- W1983385612 isRetracted "false" @default.
- W1983385612 magId "1983385612" @default.
- W1983385612 workType "article" @default.