Matches in SemOpenAlex for { <https://semopenalex.org/work/W1604172094> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1604172094 abstract "The major method for verifying the correctness of computer program is the inductive assertion approach. This approach has been limited in the past by the lack of techniques for handling data structures. In particular, there has been a need for concepts with which to describe structured data during intermediate and final stages of a computation. This thesis describes an approach by which this problem can be handled, and demonstrates its use in proving several programs correct. The key to the approach is the restriction of a data structure to a particular structural class. Primitive concepts are introduced which allow such a class to be concisely defined. Other concepts relate structures form a given class to data abstractions which the structures can be thought to represent. It is shown how to integrate the structural description with the actual proofs of correctness by incorporating results of general applicability into a logical formalism for a given structural class. {PB 231-365/AS}" @default.
- W1604172094 created "2016-06-24" @default.
- W1604172094 creator A5081912261 @default.
- W1604172094 date "1974-03-01" @default.
- W1604172094 modified "2023-09-27" @default.
- W1604172094 title "VERIFICATION OF PROGRAMS OPERATING ON STRUCTURED DATA" @default.
- W1604172094 hasPublicationYear "1974" @default.
- W1604172094 type Work @default.
- W1604172094 sameAs 1604172094 @default.
- W1604172094 citedByCount "3" @default.
- W1604172094 crossrefType "journal-article" @default.
- W1604172094 hasAuthorship W1604172094A5081912261 @default.
- W1604172094 hasConcept C108710211 @default.
- W1604172094 hasConcept C142362112 @default.
- W1604172094 hasConcept C153349607 @default.
- W1604172094 hasConcept C154945302 @default.
- W1604172094 hasConcept C162319229 @default.
- W1604172094 hasConcept C199360897 @default.
- W1604172094 hasConcept C2524010 @default.
- W1604172094 hasConcept C2777212361 @default.
- W1604172094 hasConcept C33923547 @default.
- W1604172094 hasConcept C40422974 @default.
- W1604172094 hasConcept C41008148 @default.
- W1604172094 hasConcept C45374587 @default.
- W1604172094 hasConcept C55439883 @default.
- W1604172094 hasConcept C558565934 @default.
- W1604172094 hasConcept C73301696 @default.
- W1604172094 hasConcept C80444323 @default.
- W1604172094 hasConcept C98183937 @default.
- W1604172094 hasConceptScore W1604172094C108710211 @default.
- W1604172094 hasConceptScore W1604172094C142362112 @default.
- W1604172094 hasConceptScore W1604172094C153349607 @default.
- W1604172094 hasConceptScore W1604172094C154945302 @default.
- W1604172094 hasConceptScore W1604172094C162319229 @default.
- W1604172094 hasConceptScore W1604172094C199360897 @default.
- W1604172094 hasConceptScore W1604172094C2524010 @default.
- W1604172094 hasConceptScore W1604172094C2777212361 @default.
- W1604172094 hasConceptScore W1604172094C33923547 @default.
- W1604172094 hasConceptScore W1604172094C40422974 @default.
- W1604172094 hasConceptScore W1604172094C41008148 @default.
- W1604172094 hasConceptScore W1604172094C45374587 @default.
- W1604172094 hasConceptScore W1604172094C55439883 @default.
- W1604172094 hasConceptScore W1604172094C558565934 @default.
- W1604172094 hasConceptScore W1604172094C73301696 @default.
- W1604172094 hasConceptScore W1604172094C80444323 @default.
- W1604172094 hasConceptScore W1604172094C98183937 @default.
- W1604172094 hasLocation W16041720941 @default.
- W1604172094 hasOpenAccess W1604172094 @default.
- W1604172094 hasPrimaryLocation W16041720941 @default.
- W1604172094 hasRelatedWork W1546471680 @default.
- W1604172094 hasRelatedWork W1589988994 @default.
- W1604172094 hasRelatedWork W165595480 @default.
- W1604172094 hasRelatedWork W196331120 @default.
- W1604172094 hasRelatedWork W2034704972 @default.
- W1604172094 hasRelatedWork W2102886900 @default.
- W1604172094 hasRelatedWork W2114828236 @default.
- W1604172094 hasRelatedWork W2219327471 @default.
- W1604172094 hasRelatedWork W2284136481 @default.
- W1604172094 hasRelatedWork W2332825144 @default.
- W1604172094 hasRelatedWork W2344127690 @default.
- W1604172094 hasRelatedWork W3100733612 @default.
- W1604172094 hasRelatedWork W3110258303 @default.
- W1604172094 hasRelatedWork W3214504269 @default.
- W1604172094 hasRelatedWork W410633824 @default.
- W1604172094 hasRelatedWork W78157545 @default.
- W1604172094 hasRelatedWork W2184660192 @default.
- W1604172094 hasRelatedWork W2609535815 @default.
- W1604172094 hasRelatedWork W3150875667 @default.
- W1604172094 hasRelatedWork W345132012 @default.
- W1604172094 isParatext "false" @default.
- W1604172094 isRetracted "false" @default.
- W1604172094 magId "1604172094" @default.
- W1604172094 workType "article" @default.