Matches in SemOpenAlex for { <https://semopenalex.org/work/W2534239175> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2534239175 abstract "The Demur tool translates programs and properties expressed in a large subset of Haskell to decidable models in Z3. These models use a bounded-depth representation of recursive function definitions, where the bound is increased from zero as checking proceeds. An explicit and distinguishable representation of undefined parts of data values enables Demur to maximize property-checking power despite approximation – for example, by using parallel three-valued logical operators. Several case-studies present a mixture of successes and failures in comparison with current widely-used tools for property checking. Possible routes to improved performance are identified. Comparisons are drawn with other Z3-based tools with functional-language translators, such as Leon and Halo." @default.
- W2534239175 created "2016-10-28" @default.
- W2534239175 creator A5018902600 @default.
- W2534239175 creator A5039766794 @default.
- W2534239175 date "2015-09-01" @default.
- W2534239175 modified "2023-09-23" @default.
- W2534239175 title "Demur: checking functional-program properties using bounded recursion" @default.
- W2534239175 hasPublicationYear "2015" @default.
- W2534239175 type Work @default.
- W2534239175 sameAs 2534239175 @default.
- W2534239175 citedByCount "0" @default.
- W2534239175 crossrefType "journal-article" @default.
- W2534239175 hasAuthorship W2534239175A5018902600 @default.
- W2534239175 hasAuthorship W2534239175A5039766794 @default.
- W2534239175 hasConcept C110251889 @default.
- W2534239175 hasConcept C111472728 @default.
- W2534239175 hasConcept C11413529 @default.
- W2534239175 hasConcept C118615104 @default.
- W2534239175 hasConcept C134306372 @default.
- W2534239175 hasConcept C138885662 @default.
- W2534239175 hasConcept C14036430 @default.
- W2534239175 hasConcept C153269930 @default.
- W2534239175 hasConcept C168773036 @default.
- W2534239175 hasConcept C17744445 @default.
- W2534239175 hasConcept C189950617 @default.
- W2534239175 hasConcept C195818886 @default.
- W2534239175 hasConcept C199360897 @default.
- W2534239175 hasConcept C199539241 @default.
- W2534239175 hasConcept C2776359362 @default.
- W2534239175 hasConcept C2780624054 @default.
- W2534239175 hasConcept C33923547 @default.
- W2534239175 hasConcept C34388435 @default.
- W2534239175 hasConcept C41008148 @default.
- W2534239175 hasConcept C42383842 @default.
- W2534239175 hasConcept C78458016 @default.
- W2534239175 hasConcept C80444323 @default.
- W2534239175 hasConcept C86803240 @default.
- W2534239175 hasConcept C94625758 @default.
- W2534239175 hasConceptScore W2534239175C110251889 @default.
- W2534239175 hasConceptScore W2534239175C111472728 @default.
- W2534239175 hasConceptScore W2534239175C11413529 @default.
- W2534239175 hasConceptScore W2534239175C118615104 @default.
- W2534239175 hasConceptScore W2534239175C134306372 @default.
- W2534239175 hasConceptScore W2534239175C138885662 @default.
- W2534239175 hasConceptScore W2534239175C14036430 @default.
- W2534239175 hasConceptScore W2534239175C153269930 @default.
- W2534239175 hasConceptScore W2534239175C168773036 @default.
- W2534239175 hasConceptScore W2534239175C17744445 @default.
- W2534239175 hasConceptScore W2534239175C189950617 @default.
- W2534239175 hasConceptScore W2534239175C195818886 @default.
- W2534239175 hasConceptScore W2534239175C199360897 @default.
- W2534239175 hasConceptScore W2534239175C199539241 @default.
- W2534239175 hasConceptScore W2534239175C2776359362 @default.
- W2534239175 hasConceptScore W2534239175C2780624054 @default.
- W2534239175 hasConceptScore W2534239175C33923547 @default.
- W2534239175 hasConceptScore W2534239175C34388435 @default.
- W2534239175 hasConceptScore W2534239175C41008148 @default.
- W2534239175 hasConceptScore W2534239175C42383842 @default.
- W2534239175 hasConceptScore W2534239175C78458016 @default.
- W2534239175 hasConceptScore W2534239175C80444323 @default.
- W2534239175 hasConceptScore W2534239175C86803240 @default.
- W2534239175 hasConceptScore W2534239175C94625758 @default.
- W2534239175 hasLocation W25342391751 @default.
- W2534239175 hasOpenAccess W2534239175 @default.
- W2534239175 hasPrimaryLocation W25342391751 @default.
- W2534239175 hasRelatedWork W139322006 @default.
- W2534239175 hasRelatedWork W1572974769 @default.
- W2534239175 hasRelatedWork W1581217527 @default.
- W2534239175 hasRelatedWork W1603163314 @default.
- W2534239175 hasRelatedWork W1699259381 @default.
- W2534239175 hasRelatedWork W1834347800 @default.
- W2534239175 hasRelatedWork W2097402988 @default.
- W2534239175 hasRelatedWork W2117607199 @default.
- W2534239175 hasRelatedWork W2122698067 @default.
- W2534239175 hasRelatedWork W2182993393 @default.
- W2534239175 hasRelatedWork W2295934074 @default.
- W2534239175 hasRelatedWork W2397041770 @default.
- W2534239175 hasRelatedWork W2620748922 @default.
- W2534239175 hasRelatedWork W2750587933 @default.
- W2534239175 hasRelatedWork W2914874733 @default.
- W2534239175 hasRelatedWork W2955627368 @default.
- W2534239175 hasRelatedWork W3036435269 @default.
- W2534239175 hasRelatedWork W3172134166 @default.
- W2534239175 hasRelatedWork W905878330 @default.
- W2534239175 hasRelatedWork W1480331685 @default.
- W2534239175 isParatext "false" @default.
- W2534239175 isRetracted "false" @default.
- W2534239175 magId "2534239175" @default.
- W2534239175 workType "article" @default.