FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2741405962> ?p ?o ?g. }

• W2741405962 endingPage "67" @default.
• W2741405962 startingPage "59" @default.
• W2741405962 abstract "Program slicing consists of deleting statements from a program, creating a reduced program, a slice, that preserves the original program’s behaviour for a given set of variables at a chosen point in the program. However, some aspects of a program’s semantics are not captured by a set of variables, rendering slicing inapplicable to their analysis. These aspects of the program’s state shall, collectively, be termed the ‘implicit state’. For example, the input list supplied to a program is not denoted by a variable, rather it is part of the implicit state. It will be shown that this implicitness causes existing slicing algorithms to produce incorrect slices with respect to input. In order to solve the problem the program to be sliced will be transformed into an ‘explicit’ version (in which all aspects of its semantics are captured by variables). The approach is also applied to a wider class of problems in which slicing is inhibited by the lack of variables upon which to form a suitable slicing criterion. Because the approach can be expressed as a source–level transformation, it has the attractive property that the slicing algorithm need not be altered." @default.
• W2741405962 created "2017-08-08" @default.
• W2741405962 creator A5000019783 @default.
• W2741405962 creator A5002751140 @default.
• W2741405962 creator A5063314503 @default.
• W2741405962 date "1997-09-10" @default.
• W2741405962 modified "2023-09-23" @default.
• W2741405962 title "Slicing; I/O and the Implicit State" @default.
• W2741405962 cites W1491178396 @default.
• W2741405962 cites W1592287058 @default.
• W2741405962 cites W1984248430 @default.
• W2741405962 cites W1994195424 @default.
• W2741405962 cites W1997493115 @default.
• W2741405962 cites W2028806953 @default.
• W2741405962 cites W2056038097 @default.
• W2741405962 cites W2056368582 @default.
• W2741405962 cites W2064625489 @default.
• W2741405962 cites W2110066339 @default.
• W2741405962 cites W2111304450 @default.
• W2741405962 cites W2111710182 @default.
• W2741405962 cites W2126875022 @default.
• W2741405962 cites W2156820168 @default.
• W2741405962 cites W2162046779 @default.
• W2741405962 cites W2162310108 @default.
• W2741405962 cites W2293624369 @default.
• W2741405962 cites W2914693551 @default.
• W2741405962 cites W53653091 @default.
• W2741405962 hasPublicationYear "1997" @default.
• W2741405962 type Work @default.
• W2741405962 sameAs 2741405962 @default.
• W2741405962 citedByCount "7" @default.
• W2741405962 countsByYear W27414059622012 @default.
• W2741405962 countsByYear W27414059622014 @default.
• W2741405962 crossrefType "book-chapter" @default.
• W2741405962 hasAuthorship W2741405962A5000019783 @default.
• W2741405962 hasAuthorship W2741405962A5002751140 @default.
• W2741405962 hasAuthorship W2741405962A5063314503 @default.
• W2741405962 hasConcept C11413529 @default.
• W2741405962 hasConcept C121684516 @default.
• W2741405962 hasConcept C134306372 @default.
• W2741405962 hasConcept C154945302 @default.
• W2741405962 hasConcept C177264268 @default.
• W2741405962 hasConcept C182365436 @default.
• W2741405962 hasConcept C184337299 @default.
• W2741405962 hasConcept C199360897 @default.
• W2741405962 hasConcept C205711294 @default.
• W2741405962 hasConcept C2776190703 @default.
• W2741405962 hasConcept C2778361913 @default.
• W2741405962 hasConcept C33923547 @default.
• W2741405962 hasConcept C41008148 @default.
• W2741405962 hasConcept C48103436 @default.
• W2741405962 hasConcept C80444323 @default.
• W2741405962 hasConcept C91071405 @default.
• W2741405962 hasConcept C98183937 @default.
• W2741405962 hasConceptScore W2741405962C11413529 @default.
• W2741405962 hasConceptScore W2741405962C121684516 @default.
• W2741405962 hasConceptScore W2741405962C134306372 @default.
• W2741405962 hasConceptScore W2741405962C154945302 @default.
• W2741405962 hasConceptScore W2741405962C177264268 @default.
• W2741405962 hasConceptScore W2741405962C182365436 @default.
• W2741405962 hasConceptScore W2741405962C184337299 @default.
• W2741405962 hasConceptScore W2741405962C199360897 @default.
• W2741405962 hasConceptScore W2741405962C205711294 @default.
• W2741405962 hasConceptScore W2741405962C2776190703 @default.
• W2741405962 hasConceptScore W2741405962C2778361913 @default.
• W2741405962 hasConceptScore W2741405962C33923547 @default.
• W2741405962 hasConceptScore W2741405962C41008148 @default.
• W2741405962 hasConceptScore W2741405962C48103436 @default.
• W2741405962 hasConceptScore W2741405962C80444323 @default.
• W2741405962 hasConceptScore W2741405962C91071405 @default.
• W2741405962 hasConceptScore W2741405962C98183937 @default.
• W2741405962 hasIssue "001" @default.
• W2741405962 hasLocation W27414059621 @default.
• W2741405962 hasOpenAccess W2741405962 @default.
• W2741405962 hasPrimaryLocation W27414059621 @default.
• W2741405962 hasRelatedWork W1550243458 @default.
• W2741405962 hasRelatedWork W1784890497 @default.
• W2741405962 hasRelatedWork W1984248430 @default.
• W2741405962 hasRelatedWork W1997720084 @default.
• W2741405962 hasRelatedWork W2080996674 @default.
• W2741405962 hasRelatedWork W2092483417 @default.
• W2741405962 hasRelatedWork W2097953797 @default.
• W2741405962 hasRelatedWork W2144344516 @default.
• W2741405962 hasRelatedWork W2145306991 @default.
• W2741405962 hasRelatedWork W2147088720 @default.
• W2741405962 hasRelatedWork W2147140044 @default.
• W2741405962 hasRelatedWork W2161623493 @default.
• W2741405962 hasRelatedWork W2162046779 @default.
• W2741405962 hasRelatedWork W2162310108 @default.
• W2741405962 hasRelatedWork W2293624369 @default.
• W2741405962 hasRelatedWork W2388379237 @default.
• W2741405962 hasRelatedWork W2408980834 @default.
• W2741405962 hasRelatedWork W2461020454 @default.
• W2741405962 hasRelatedWork W303139982 @default.
• W2741405962 hasRelatedWork W53653091 @default.
• W2741405962 isParatext "false" @default.
• W2741405962 isRetracted "false" @default.
• W2741405962 magId "2741405962" @default.

• next