Matches in SemOpenAlex for { <https://semopenalex.org/work/W2568324997> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2568324997 endingPage "45" @default.
- W2568324997 startingPage "36" @default.
- W2568324997 abstract "Abstract : This paper presents a program understanding tool which documents programs by generating predicate logic annotations of their loops. The tool is based on an analysis by decomposition approach which utilizes a knowledge-base of plans in recognizing the high-level concepts in programs. Using data. :flow analysis, the decomposition encapsulates closely related statements in separate parts, ca1.led events, which can be analyzed individually. The :first order predicate logic annotations of loops a.re synthesized from these individual analysis results. A summary of the results of a ca.se study, performed on a pre-existing program of reasonable size, is given. The loops in this study, which a.re used as input data. to the tool, serve to validate our analysis approach. Finally, different applications of the tool, including the application of assisting the formal development of software, a.re discussed. This discussion focuses on how the tool can help in Validating the proof obligations generated during the last stage of the operation refinement process of VDM and Z." @default.
- W2568324997 created "2017-01-13" @default.
- W2568324997 creator A5011045475 @default.
- W2568324997 creator A5043112678 @default.
- W2568324997 date "1993-10-01" @default.
- W2568324997 modified "2023-09-26" @default.
- W2568324997 title "A tool for assisting the understanding and formal development of software" @default.
- W2568324997 hasPublicationYear "1993" @default.
- W2568324997 type Work @default.
- W2568324997 sameAs 2568324997 @default.
- W2568324997 citedByCount "4" @default.
- W2568324997 crossrefType "proceedings-article" @default.
- W2568324997 hasAuthorship W2568324997A5011045475 @default.
- W2568324997 hasAuthorship W2568324997A5043112678 @default.
- W2568324997 hasConcept C100481476 @default.
- W2568324997 hasConcept C102993220 @default.
- W2568324997 hasConcept C115903868 @default.
- W2568324997 hasConcept C124681953 @default.
- W2568324997 hasConcept C140146324 @default.
- W2568324997 hasConcept C160191386 @default.
- W2568324997 hasConcept C18903297 @default.
- W2568324997 hasConcept C19689857 @default.
- W2568324997 hasConcept C199360897 @default.
- W2568324997 hasConcept C2777904410 @default.
- W2568324997 hasConcept C41008148 @default.
- W2568324997 hasConcept C75606506 @default.
- W2568324997 hasConcept C86803240 @default.
- W2568324997 hasConcept C98045186 @default.
- W2568324997 hasConceptScore W2568324997C100481476 @default.
- W2568324997 hasConceptScore W2568324997C102993220 @default.
- W2568324997 hasConceptScore W2568324997C115903868 @default.
- W2568324997 hasConceptScore W2568324997C124681953 @default.
- W2568324997 hasConceptScore W2568324997C140146324 @default.
- W2568324997 hasConceptScore W2568324997C160191386 @default.
- W2568324997 hasConceptScore W2568324997C18903297 @default.
- W2568324997 hasConceptScore W2568324997C19689857 @default.
- W2568324997 hasConceptScore W2568324997C199360897 @default.
- W2568324997 hasConceptScore W2568324997C2777904410 @default.
- W2568324997 hasConceptScore W2568324997C41008148 @default.
- W2568324997 hasConceptScore W2568324997C75606506 @default.
- W2568324997 hasConceptScore W2568324997C86803240 @default.
- W2568324997 hasConceptScore W2568324997C98045186 @default.
- W2568324997 hasLocation W25683249971 @default.
- W2568324997 hasOpenAccess W2568324997 @default.
- W2568324997 hasPrimaryLocation W25683249971 @default.
- W2568324997 hasRelatedWork W1509154515 @default.
- W2568324997 hasRelatedWork W1649109310 @default.
- W2568324997 hasRelatedWork W1910665617 @default.
- W2568324997 hasRelatedWork W1983520997 @default.
- W2568324997 hasRelatedWork W2007798926 @default.
- W2568324997 hasRelatedWork W2016976065 @default.
- W2568324997 hasRelatedWork W2033750216 @default.
- W2568324997 hasRelatedWork W2046585568 @default.
- W2568324997 hasRelatedWork W2081749731 @default.
- W2568324997 hasRelatedWork W2095961905 @default.
- W2568324997 hasRelatedWork W2117591735 @default.
- W2568324997 hasRelatedWork W2144777505 @default.
- W2568324997 hasRelatedWork W2147452885 @default.
- W2568324997 hasRelatedWork W2147760555 @default.
- W2568324997 hasRelatedWork W2148457927 @default.
- W2568324997 hasRelatedWork W2160854692 @default.
- W2568324997 hasRelatedWork W2168069365 @default.
- W2568324997 hasRelatedWork W3146075203 @default.
- W2568324997 hasRelatedWork W722158 @default.
- W2568324997 hasRelatedWork W20687296 @default.
- W2568324997 isParatext "false" @default.
- W2568324997 isRetracted "false" @default.
- W2568324997 magId "2568324997" @default.
- W2568324997 workType "article" @default.