Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384698509> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4384698509 endingPage "947" @default.
- W4384698509 startingPage "933" @default.
- W4384698509 abstract "Abstract Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that refactoring a program in that language is performed correctly." @default.
- W4384698509 created "2023-07-20" @default.
- W4384698509 creator A5008816972 @default.
- W4384698509 creator A5056956560 @default.
- W4384698509 creator A5057732993 @default.
- W4384698509 creator A5076917986 @default.
- W4384698509 creator A5092050124 @default.
- W4384698509 date "2023-07-01" @default.
- W4384698509 modified "2023-10-01" @default.
- W4384698509 title "External Behavior of a Logic Program and Verification of Refactoring" @default.
- W4384698509 cites W125944482 @default.
- W4384698509 cites W1487563773 @default.
- W4384698509 cites W1523341975 @default.
- W4384698509 cites W1766332311 @default.
- W4384698509 cites W1781094 @default.
- W4384698509 cites W2215047634 @default.
- W4384698509 cites W2795456052 @default.
- W4384698509 cites W2963046270 @default.
- W4384698509 cites W3046518491 @default.
- W4384698509 cites W3155306957 @default.
- W4384698509 cites W4283373932 @default.
- W4384698509 cites W4283801775 @default.
- W4384698509 cites W89830103 @default.
- W4384698509 doi "https://doi.org/10.1017/s1471068423000200" @default.
- W4384698509 hasPublicationYear "2023" @default.
- W4384698509 type Work @default.
- W4384698509 citedByCount "1" @default.
- W4384698509 countsByYear W43846985092023 @default.
- W4384698509 crossrefType "journal-article" @default.
- W4384698509 hasAuthorship W4384698509A5008816972 @default.
- W4384698509 hasAuthorship W4384698509A5056956560 @default.
- W4384698509 hasAuthorship W4384698509A5057732993 @default.
- W4384698509 hasAuthorship W4384698509A5076917986 @default.
- W4384698509 hasAuthorship W4384698509A5092050124 @default.
- W4384698509 hasBestOaLocation W43846985091 @default.
- W4384698509 hasConcept C111472728 @default.
- W4384698509 hasConcept C128838566 @default.
- W4384698509 hasConcept C138885662 @default.
- W4384698509 hasConcept C152752567 @default.
- W4384698509 hasConcept C162324750 @default.
- W4384698509 hasConcept C177264268 @default.
- W4384698509 hasConcept C187736073 @default.
- W4384698509 hasConcept C199360897 @default.
- W4384698509 hasConcept C2777904410 @default.
- W4384698509 hasConcept C2778361913 @default.
- W4384698509 hasConcept C2780451532 @default.
- W4384698509 hasConcept C2780586882 @default.
- W4384698509 hasConcept C2987117450 @default.
- W4384698509 hasConcept C41008148 @default.
- W4384698509 hasConceptScore W4384698509C111472728 @default.
- W4384698509 hasConceptScore W4384698509C128838566 @default.
- W4384698509 hasConceptScore W4384698509C138885662 @default.
- W4384698509 hasConceptScore W4384698509C152752567 @default.
- W4384698509 hasConceptScore W4384698509C162324750 @default.
- W4384698509 hasConceptScore W4384698509C177264268 @default.
- W4384698509 hasConceptScore W4384698509C187736073 @default.
- W4384698509 hasConceptScore W4384698509C199360897 @default.
- W4384698509 hasConceptScore W4384698509C2777904410 @default.
- W4384698509 hasConceptScore W4384698509C2778361913 @default.
- W4384698509 hasConceptScore W4384698509C2780451532 @default.
- W4384698509 hasConceptScore W4384698509C2780586882 @default.
- W4384698509 hasConceptScore W4384698509C2987117450 @default.
- W4384698509 hasConceptScore W4384698509C41008148 @default.
- W4384698509 hasIssue "4" @default.
- W4384698509 hasLocation W43846985091 @default.
- W4384698509 hasLocation W43846985092 @default.
- W4384698509 hasOpenAccess W4384698509 @default.
- W4384698509 hasPrimaryLocation W43846985091 @default.
- W4384698509 hasRelatedWork W1540238364 @default.
- W4384698509 hasRelatedWork W1936706003 @default.
- W4384698509 hasRelatedWork W2092540255 @default.
- W4384698509 hasRelatedWork W2109043892 @default.
- W4384698509 hasRelatedWork W2540089100 @default.
- W4384698509 hasRelatedWork W2568509224 @default.
- W4384698509 hasRelatedWork W2889864133 @default.
- W4384698509 hasRelatedWork W4206554278 @default.
- W4384698509 hasRelatedWork W4378765258 @default.
- W4384698509 hasRelatedWork W4384698509 @default.
- W4384698509 hasVolume "23" @default.
- W4384698509 isParatext "false" @default.
- W4384698509 isRetracted "false" @default.
- W4384698509 workType "article" @default.