Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075913776> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2075913776 endingPage "206" @default.
- W2075913776 startingPage "188" @default.
- W2075913776 abstract "Most present systems for verification of computer programs are incomplete in that intermediate inductive assertions must be provided manually by the user, termination is not proven, and incorrect programs are not treated. As a unified solution to these problems, this paper suggests conducting a logical analysis of programs by using invariants which express what is actually occurring in the program. The first part of the paper is devoted to techniques for the automatic generation of invariants. The second part provides criteria for using the invariants to check simultaneously for correctness (including termination) or incorrectness. A third part examines the implications of the approach for the automatic diagnosis and correction of logical errors." @default.
- W2075913776 created "2016-06-24" @default.
- W2075913776 creator A5034436241 @default.
- W2075913776 creator A5055894990 @default.
- W2075913776 date "1976-04-01" @default.
- W2075913776 modified "2023-10-17" @default.
- W2075913776 title "Logical analysis of programs" @default.
- W2075913776 cites W1978367838 @default.
- W2075913776 cites W2002857709 @default.
- W2075913776 cites W2008485543 @default.
- W2075913776 cites W2160363852 @default.
- W2075913776 cites W2611469509 @default.
- W2075913776 cites W2987907651 @default.
- W2075913776 cites W4252118608 @default.
- W2075913776 doi "https://doi.org/10.1145/360032.360048" @default.
- W2075913776 hasPublicationYear "1976" @default.
- W2075913776 type Work @default.
- W2075913776 sameAs 2075913776 @default.
- W2075913776 citedByCount "129" @default.
- W2075913776 countsByYear W20759137762012 @default.
- W2075913776 countsByYear W20759137762014 @default.
- W2075913776 countsByYear W20759137762017 @default.
- W2075913776 countsByYear W20759137762019 @default.
- W2075913776 countsByYear W20759137762022 @default.
- W2075913776 countsByYear W20759137762023 @default.
- W2075913776 crossrefType "journal-article" @default.
- W2075913776 hasAuthorship W2075913776A5034436241 @default.
- W2075913776 hasAuthorship W2075913776A5055894990 @default.
- W2075913776 hasBestOaLocation W20759137761 @default.
- W2075913776 hasConcept C105795698 @default.
- W2075913776 hasConcept C199360897 @default.
- W2075913776 hasConcept C21847791 @default.
- W2075913776 hasConcept C2983390893 @default.
- W2075913776 hasConcept C33923547 @default.
- W2075913776 hasConcept C41008148 @default.
- W2075913776 hasConcept C55439883 @default.
- W2075913776 hasConcept C6260981 @default.
- W2075913776 hasConcept C80444323 @default.
- W2075913776 hasConcept C98183937 @default.
- W2075913776 hasConceptScore W2075913776C105795698 @default.
- W2075913776 hasConceptScore W2075913776C199360897 @default.
- W2075913776 hasConceptScore W2075913776C21847791 @default.
- W2075913776 hasConceptScore W2075913776C2983390893 @default.
- W2075913776 hasConceptScore W2075913776C33923547 @default.
- W2075913776 hasConceptScore W2075913776C41008148 @default.
- W2075913776 hasConceptScore W2075913776C55439883 @default.
- W2075913776 hasConceptScore W2075913776C6260981 @default.
- W2075913776 hasConceptScore W2075913776C80444323 @default.
- W2075913776 hasConceptScore W2075913776C98183937 @default.
- W2075913776 hasIssue "4" @default.
- W2075913776 hasLocation W20759137761 @default.
- W2075913776 hasOpenAccess W2075913776 @default.
- W2075913776 hasPrimaryLocation W20759137761 @default.
- W2075913776 hasRelatedWork W1522809628 @default.
- W2075913776 hasRelatedWork W1967226206 @default.
- W2075913776 hasRelatedWork W2068981034 @default.
- W2075913776 hasRelatedWork W2075913776 @default.
- W2075913776 hasRelatedWork W2122069763 @default.
- W2075913776 hasRelatedWork W2150334538 @default.
- W2075913776 hasRelatedWork W2155334493 @default.
- W2075913776 hasRelatedWork W2172022734 @default.
- W2075913776 hasRelatedWork W2973978040 @default.
- W2075913776 hasRelatedWork W78086918 @default.
- W2075913776 hasVolume "19" @default.
- W2075913776 isParatext "false" @default.
- W2075913776 isRetracted "false" @default.
- W2075913776 magId "2075913776" @default.
- W2075913776 workType "article" @default.