Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162315884> ?p ?o ?g. }
- W2162315884 abstract "We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term algebra homomorphisms) mapping algebraic data type values into values in other decidable theories (e.g. sets, multisets, lists, integers, booleans). Each instance of our decision procedure family is sound; we identify a widely applicable many-to-one condition on abstraction functions that implies the completeness. Complete instances of our decision procedure include the following correctness statements: 1) a functional data structure implementation satisfies a recursively specified invariant, 2) such data structure conforms to a contract given in terms of sets, multisets, lists, sizes, or heights, 3) a transformation of a formula (or lambda term) abstract syntax tree changes the set of free variables in the specified way." @default.
- W2162315884 created "2016-06-24" @default.
- W2162315884 creator A5008699657 @default.
- W2162315884 creator A5043236771 @default.
- W2162315884 creator A5085041656 @default.
- W2162315884 date "2010-01-17" @default.
- W2162315884 modified "2023-10-16" @default.
- W2162315884 title "Decision procedures for algebraic data types with abstractions" @default.
- W2162315884 cites W1026721552 @default.
- W2162315884 cites W1493089824 @default.
- W2162315884 cites W1502368951 @default.
- W2162315884 cites W1529441891 @default.
- W2162315884 cites W1541825597 @default.
- W2162315884 cites W1545681762 @default.
- W2162315884 cites W1549008998 @default.
- W2162315884 cites W1556480840 @default.
- W2162315884 cites W1578967579 @default.
- W2162315884 cites W1607550340 @default.
- W2162315884 cites W1731421159 @default.
- W2162315884 cites W1959256509 @default.
- W2162315884 cites W1964783683 @default.
- W2162315884 cites W1970945363 @default.
- W2162315884 cites W1979619055 @default.
- W2162315884 cites W1988441831 @default.
- W2162315884 cites W1993370765 @default.
- W2162315884 cites W1996302019 @default.
- W2162315884 cites W2014986236 @default.
- W2162315884 cites W2028685566 @default.
- W2162315884 cites W2029214188 @default.
- W2162315884 cites W2045255985 @default.
- W2162315884 cites W2056350513 @default.
- W2162315884 cites W2056554620 @default.
- W2162315884 cites W2082963442 @default.
- W2162315884 cites W2100738443 @default.
- W2162315884 cites W2102913701 @default.
- W2162315884 cites W2103658959 @default.
- W2162315884 cites W2105045857 @default.
- W2162315884 cites W2115134174 @default.
- W2162315884 cites W2117402063 @default.
- W2162315884 cites W2123828382 @default.
- W2162315884 cites W2123995178 @default.
- W2162315884 cites W2124704329 @default.
- W2162315884 cites W2134829074 @default.
- W2162315884 cites W2135322712 @default.
- W2162315884 cites W2147650421 @default.
- W2162315884 cites W2147832077 @default.
- W2162315884 cites W2153131284 @default.
- W2162315884 cites W2164778826 @default.
- W2162315884 cites W2181289644 @default.
- W2162315884 cites W2278706878 @default.
- W2162315884 cites W2293770661 @default.
- W2162315884 cites W2295923951 @default.
- W2162315884 cites W2296725671 @default.
- W2162315884 cites W3022449549 @default.
- W2162315884 cites W3023216518 @default.
- W2162315884 cites W4244488020 @default.
- W2162315884 cites W4253606798 @default.
- W2162315884 doi "https://doi.org/10.1145/1706299.1706325" @default.
- W2162315884 hasPublicationYear "2010" @default.
- W2162315884 type Work @default.
- W2162315884 sameAs 2162315884 @default.
- W2162315884 citedByCount "84" @default.
- W2162315884 countsByYear W21623158842012 @default.
- W2162315884 countsByYear W21623158842013 @default.
- W2162315884 countsByYear W21623158842014 @default.
- W2162315884 countsByYear W21623158842015 @default.
- W2162315884 countsByYear W21623158842016 @default.
- W2162315884 countsByYear W21623158842017 @default.
- W2162315884 countsByYear W21623158842018 @default.
- W2162315884 countsByYear W21623158842019 @default.
- W2162315884 countsByYear W21623158842020 @default.
- W2162315884 countsByYear W21623158842021 @default.
- W2162315884 countsByYear W21623158842022 @default.
- W2162315884 countsByYear W21623158842023 @default.
- W2162315884 crossrefType "proceedings-article" @default.
- W2162315884 hasAuthorship W2162315884A5008699657 @default.
- W2162315884 hasAuthorship W2162315884A5043236771 @default.
- W2162315884 hasAuthorship W2162315884A5085041656 @default.
- W2162315884 hasBestOaLocation W21623158842 @default.
- W2162315884 hasConcept C134306372 @default.
- W2162315884 hasConcept C199360897 @default.
- W2162315884 hasConcept C33923547 @default.
- W2162315884 hasConcept C41008148 @default.
- W2162315884 hasConcept C80444323 @default.
- W2162315884 hasConcept C9376300 @default.
- W2162315884 hasConceptScore W2162315884C134306372 @default.
- W2162315884 hasConceptScore W2162315884C199360897 @default.
- W2162315884 hasConceptScore W2162315884C33923547 @default.
- W2162315884 hasConceptScore W2162315884C41008148 @default.
- W2162315884 hasConceptScore W2162315884C80444323 @default.
- W2162315884 hasConceptScore W2162315884C9376300 @default.
- W2162315884 hasLocation W21623158841 @default.
- W2162315884 hasLocation W21623158842 @default.
- W2162315884 hasLocation W21623158843 @default.
- W2162315884 hasOpenAccess W2162315884 @default.
- W2162315884 hasPrimaryLocation W21623158841 @default.
- W2162315884 hasRelatedWork W1527862632 @default.
- W2162315884 hasRelatedWork W2112962394 @default.
- W2162315884 hasRelatedWork W2118300983 @default.
- W2162315884 hasRelatedWork W2135396778 @default.