Matches in SemOpenAlex for { <https://semopenalex.org/work/W169737985> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W169737985 abstract "We present a method for verifying recursive functional programs by defining a verification condition generator (VCG) which covers the most frequent type of recursive programs. These programs may operate on arbitrary domains. We prove soundness and completeness of the VCG and this provides a warranty that any system based on our results will be sound. We introduce here the notion of completeness of a VCG as a duality of soundness. Completeness is important for the following two reasons: theoretically, it is the dual of soundness and practically, it helps debugging. Any counterexample for the failing verification condition will carry over to a counterexample for the given program and specification. Moreover, the failing proof gives information about the place of the bug. Furthermore, we introduce a specialized strategy for termination. The termination problem is reduced to the termination of a simplified version of the program. The conditions for the simplified versions are identical for special classes of functional programs, thus they are highly reusable." @default.
- W169737985 created "2016-06-24" @default.
- W169737985 creator A5020066177 @default.
- W169737985 creator A5021113261 @default.
- W169737985 date "2011-10-12" @default.
- W169737985 modified "2023-09-25" @default.
- W169737985 title "Sound and Complete Verification Condition Generator for Functional Recursive Programs" @default.
- W169737985 cites W1484808823 @default.
- W169737985 cites W1523357824 @default.
- W169737985 cites W1553511155 @default.
- W169737985 cites W1567728336 @default.
- W169737985 cites W2010927194 @default.
- W169737985 cites W2045323411 @default.
- W169737985 cites W2051708496 @default.
- W169737985 cites W2052363833 @default.
- W169737985 cites W2091345373 @default.
- W169737985 cites W2133093325 @default.
- W169737985 cites W2159152974 @default.
- W169737985 cites W2912886433 @default.
- W169737985 cites W2948053683 @default.
- W169737985 cites W2987907651 @default.
- W169737985 cites W3023731641 @default.
- W169737985 cites W3028248065 @default.
- W169737985 cites W4251912342 @default.
- W169737985 cites W4296415990 @default.
- W169737985 doi "https://doi.org/10.1007/978-3-7091-0794-2_11" @default.
- W169737985 hasPublicationYear "2011" @default.
- W169737985 type Work @default.
- W169737985 sameAs 169737985 @default.
- W169737985 citedByCount "1" @default.
- W169737985 countsByYear W1697379852016 @default.
- W169737985 crossrefType "book-chapter" @default.
- W169737985 hasAuthorship W169737985A5020066177 @default.
- W169737985 hasAuthorship W169737985A5021113261 @default.
- W169737985 hasConcept C11413529 @default.
- W169737985 hasConcept C118615104 @default.
- W169737985 hasConcept C121332964 @default.
- W169737985 hasConcept C134306372 @default.
- W169737985 hasConcept C162838799 @default.
- W169737985 hasConcept C163258240 @default.
- W169737985 hasConcept C168065819 @default.
- W169737985 hasConcept C17231256 @default.
- W169737985 hasConcept C199360897 @default.
- W169737985 hasConcept C2780992000 @default.
- W169737985 hasConcept C33923547 @default.
- W169737985 hasConcept C39920170 @default.
- W169737985 hasConcept C41008148 @default.
- W169737985 hasConcept C62520636 @default.
- W169737985 hasConcept C80444323 @default.
- W169737985 hasConceptScore W169737985C11413529 @default.
- W169737985 hasConceptScore W169737985C118615104 @default.
- W169737985 hasConceptScore W169737985C121332964 @default.
- W169737985 hasConceptScore W169737985C134306372 @default.
- W169737985 hasConceptScore W169737985C162838799 @default.
- W169737985 hasConceptScore W169737985C163258240 @default.
- W169737985 hasConceptScore W169737985C168065819 @default.
- W169737985 hasConceptScore W169737985C17231256 @default.
- W169737985 hasConceptScore W169737985C199360897 @default.
- W169737985 hasConceptScore W169737985C2780992000 @default.
- W169737985 hasConceptScore W169737985C33923547 @default.
- W169737985 hasConceptScore W169737985C39920170 @default.
- W169737985 hasConceptScore W169737985C41008148 @default.
- W169737985 hasConceptScore W169737985C62520636 @default.
- W169737985 hasConceptScore W169737985C80444323 @default.
- W169737985 hasLocation W1697379851 @default.
- W169737985 hasOpenAccess W169737985 @default.
- W169737985 hasPrimaryLocation W1697379851 @default.
- W169737985 hasRelatedWork W1188080205 @default.
- W169737985 hasRelatedWork W1492252392 @default.
- W169737985 hasRelatedWork W1508046216 @default.
- W169737985 hasRelatedWork W1558637250 @default.
- W169737985 hasRelatedWork W1599005250 @default.
- W169737985 hasRelatedWork W180156219 @default.
- W169737985 hasRelatedWork W191371315 @default.
- W169737985 hasRelatedWork W1964300195 @default.
- W169737985 hasRelatedWork W2025113826 @default.
- W169737985 hasRelatedWork W2221067658 @default.
- W169737985 hasRelatedWork W2259407217 @default.
- W169737985 hasRelatedWork W2394529788 @default.
- W169737985 hasRelatedWork W2576910171 @default.
- W169737985 hasRelatedWork W2614671700 @default.
- W169737985 hasRelatedWork W2950225832 @default.
- W169737985 hasRelatedWork W2950567239 @default.
- W169737985 hasRelatedWork W2956136255 @default.
- W169737985 hasRelatedWork W2986106598 @default.
- W169737985 hasRelatedWork W1974463765 @default.
- W169737985 hasRelatedWork W2337756575 @default.
- W169737985 isParatext "false" @default.
- W169737985 isRetracted "false" @default.
- W169737985 magId "169737985" @default.
- W169737985 workType "book-chapter" @default.