Matches in SemOpenAlex for { <https://semopenalex.org/work/W1578084832> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1578084832 abstract "Slicing is a technique for automatically obtaining subparts of a program with a collective meaning. When the slicing takes into account the actual execution of the program, it is said to be dynamic; when only statically available information is used, it is said to be static. In this paper we describe a flexible framework to slice logic programs that accommodates both dynamic and static approaches naturally. Our framework addresses practical aspects of logic programs such as different executions, system predicates and side-effects and can be customized to any logic language, provided we have its (concrete or abstract) interpreter and information on the behavior of system predicates." @default.
- W1578084832 created "2016-06-24" @default.
- W1578084832 creator A5046851602 @default.
- W1578084832 date "1998-01-01" @default.
- W1578084832 modified "2023-09-26" @default.
- W1578084832 title "A Flexible Framework for Dynamic and Static Slicing of Logic Programs" @default.
- W1578084832 cites W1535051828 @default.
- W1578084832 cites W1556466138 @default.
- W1578084832 cites W1988161832 @default.
- W1578084832 cites W2036292005 @default.
- W1578084832 cites W2081810835 @default.
- W1578084832 cites W2088140535 @default.
- W1578084832 cites W2092483417 @default.
- W1578084832 cites W2110066339 @default.
- W1578084832 cites W2141109493 @default.
- W1578084832 cites W2157402204 @default.
- W1578084832 cites W2162310108 @default.
- W1578084832 cites W2293624369 @default.
- W1578084832 cites W4238847937 @default.
- W1578084832 cites W4249740001 @default.
- W1578084832 cites W4253029520 @default.
- W1578084832 cites W79760435 @default.
- W1578084832 doi "https://doi.org/10.1007/3-540-49201-1_18" @default.
- W1578084832 hasPublicationYear "1998" @default.
- W1578084832 type Work @default.
- W1578084832 sameAs 1578084832 @default.
- W1578084832 citedByCount "5" @default.
- W1578084832 countsByYear W15780848322012 @default.
- W1578084832 crossrefType "book-chapter" @default.
- W1578084832 hasAuthorship W1578084832A5046851602 @default.
- W1578084832 hasConcept C122783720 @default.
- W1578084832 hasConcept C128838566 @default.
- W1578084832 hasConcept C136764020 @default.
- W1578084832 hasConcept C168065819 @default.
- W1578084832 hasConcept C199360897 @default.
- W1578084832 hasConcept C2776190703 @default.
- W1578084832 hasConcept C2987117450 @default.
- W1578084832 hasConcept C41008148 @default.
- W1578084832 hasConcept C80444323 @default.
- W1578084832 hasConcept C91071405 @default.
- W1578084832 hasConcept C97686452 @default.
- W1578084832 hasConceptScore W1578084832C122783720 @default.
- W1578084832 hasConceptScore W1578084832C128838566 @default.
- W1578084832 hasConceptScore W1578084832C136764020 @default.
- W1578084832 hasConceptScore W1578084832C168065819 @default.
- W1578084832 hasConceptScore W1578084832C199360897 @default.
- W1578084832 hasConceptScore W1578084832C2776190703 @default.
- W1578084832 hasConceptScore W1578084832C2987117450 @default.
- W1578084832 hasConceptScore W1578084832C41008148 @default.
- W1578084832 hasConceptScore W1578084832C80444323 @default.
- W1578084832 hasConceptScore W1578084832C91071405 @default.
- W1578084832 hasConceptScore W1578084832C97686452 @default.
- W1578084832 hasLocation W15780848321 @default.
- W1578084832 hasOpenAccess W1578084832 @default.
- W1578084832 hasPrimaryLocation W15780848321 @default.
- W1578084832 hasRelatedWork W1529821561 @default.
- W1578084832 hasRelatedWork W1565345783 @default.
- W1578084832 hasRelatedWork W190579303 @default.
- W1578084832 hasRelatedWork W1998915208 @default.
- W1578084832 hasRelatedWork W2092701302 @default.
- W1578084832 hasRelatedWork W2105258265 @default.
- W1578084832 hasRelatedWork W2133186235 @default.
- W1578084832 hasRelatedWork W2133977074 @default.
- W1578084832 hasRelatedWork W2166700159 @default.
- W1578084832 hasRelatedWork W2293624369 @default.
- W1578084832 hasRelatedWork W2327217190 @default.
- W1578084832 hasRelatedWork W2464203952 @default.
- W1578084832 hasRelatedWork W2548257568 @default.
- W1578084832 hasRelatedWork W2752700320 @default.
- W1578084832 hasRelatedWork W2762612122 @default.
- W1578084832 hasRelatedWork W2824429000 @default.
- W1578084832 hasRelatedWork W2980011154 @default.
- W1578084832 hasRelatedWork W3019270611 @default.
- W1578084832 hasRelatedWork W303139982 @default.
- W1578084832 hasRelatedWork W3106212667 @default.
- W1578084832 isParatext "false" @default.
- W1578084832 isRetracted "false" @default.
- W1578084832 magId "1578084832" @default.
- W1578084832 workType "book-chapter" @default.