Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061127958> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2061127958 abstract "We study algebraic data types in a manifest contract system, a software contract system where contract information occurs as refinement types. We first compare two simple approaches: refinements on type constructors and refinements on data constructors. For example, lists of positive integers can be described by {l:int list | for_all (lambda y. y > 0) l} in the former, whereas by a user-defined datatype pos_list with cons of type {x:int | x > 0} X pos_list -> pos_list in the latter. The two approaches are complementary: the former makes it easier for a programmer to write types and the latter enables more efficient contract checking. To take the best of both worlds, we propose (1) a syntactic translation from refinements on type constructors to equivalent refinements on data constructors and (2) dynamically checked casts between different but compatible datatypes such as int list and pos_list. We define a manifest contract calculus to formalize the semantics of the casts and prove that the translation is correct." @default.
- W2061127958 created "2016-06-24" @default.
- W2061127958 creator A5018002187 @default.
- W2061127958 creator A5055526173 @default.
- W2061127958 creator A5077485499 @default.
- W2061127958 date "2015-01-14" @default.
- W2061127958 modified "2023-10-17" @default.
- W2061127958 title "Manifest Contracts for Datatypes" @default.
- W2061127958 cites W1980939032 @default.
- W2061127958 cites W2005192022 @default.
- W2061127958 cites W2027189949 @default.
- W2061127958 cites W2034355944 @default.
- W2061127958 cites W2045900383 @default.
- W2061127958 cites W2059703978 @default.
- W2061127958 cites W2072133576 @default.
- W2061127958 cites W2081109124 @default.
- W2061127958 cites W2092351491 @default.
- W2061127958 cites W2097959001 @default.
- W2061127958 cites W2101085206 @default.
- W2061127958 cites W2125995229 @default.
- W2061127958 cites W2128303158 @default.
- W2061127958 cites W2135322712 @default.
- W2061127958 cites W2137734935 @default.
- W2061127958 cites W2141210774 @default.
- W2061127958 cites W2144160229 @default.
- W2061127958 cites W2145619371 @default.
- W2061127958 cites W2151716725 @default.
- W2061127958 cites W2295923951 @default.
- W2061127958 cites W3099703838 @default.
- W2061127958 doi "https://doi.org/10.1145/2676726.2676996" @default.
- W2061127958 hasPublicationYear "2015" @default.
- W2061127958 type Work @default.
- W2061127958 sameAs 2061127958 @default.
- W2061127958 citedByCount "12" @default.
- W2061127958 countsByYear W20611279582016 @default.
- W2061127958 countsByYear W20611279582017 @default.
- W2061127958 countsByYear W20611279582018 @default.
- W2061127958 countsByYear W20611279582019 @default.
- W2061127958 countsByYear W20611279582020 @default.
- W2061127958 crossrefType "proceedings-article" @default.
- W2061127958 hasAuthorship W2061127958A5018002187 @default.
- W2061127958 hasAuthorship W2061127958A5055526173 @default.
- W2061127958 hasAuthorship W2061127958A5077485499 @default.
- W2061127958 hasConcept C116253237 @default.
- W2061127958 hasConcept C134306372 @default.
- W2061127958 hasConcept C135790938 @default.
- W2061127958 hasConcept C138958017 @default.
- W2061127958 hasConcept C184337299 @default.
- W2061127958 hasConcept C18903297 @default.
- W2061127958 hasConcept C199360897 @default.
- W2061127958 hasConcept C2777299769 @default.
- W2061127958 hasConcept C2777691520 @default.
- W2061127958 hasConcept C2778514511 @default.
- W2061127958 hasConcept C33923547 @default.
- W2061127958 hasConcept C41008148 @default.
- W2061127958 hasConcept C44779574 @default.
- W2061127958 hasConcept C80444323 @default.
- W2061127958 hasConcept C86803240 @default.
- W2061127958 hasConcept C9376300 @default.
- W2061127958 hasConceptScore W2061127958C116253237 @default.
- W2061127958 hasConceptScore W2061127958C134306372 @default.
- W2061127958 hasConceptScore W2061127958C135790938 @default.
- W2061127958 hasConceptScore W2061127958C138958017 @default.
- W2061127958 hasConceptScore W2061127958C184337299 @default.
- W2061127958 hasConceptScore W2061127958C18903297 @default.
- W2061127958 hasConceptScore W2061127958C199360897 @default.
- W2061127958 hasConceptScore W2061127958C2777299769 @default.
- W2061127958 hasConceptScore W2061127958C2777691520 @default.
- W2061127958 hasConceptScore W2061127958C2778514511 @default.
- W2061127958 hasConceptScore W2061127958C33923547 @default.
- W2061127958 hasConceptScore W2061127958C41008148 @default.
- W2061127958 hasConceptScore W2061127958C44779574 @default.
- W2061127958 hasConceptScore W2061127958C80444323 @default.
- W2061127958 hasConceptScore W2061127958C86803240 @default.
- W2061127958 hasConceptScore W2061127958C9376300 @default.
- W2061127958 hasFunder F4320334764 @default.
- W2061127958 hasLocation W20611279581 @default.
- W2061127958 hasOpenAccess W2061127958 @default.
- W2061127958 hasPrimaryLocation W20611279581 @default.
- W2061127958 hasRelatedWork W1480879962 @default.
- W2061127958 hasRelatedWork W1573380057 @default.
- W2061127958 hasRelatedWork W2054765143 @default.
- W2061127958 hasRelatedWork W2098448776 @default.
- W2061127958 hasRelatedWork W2104462386 @default.
- W2061127958 hasRelatedWork W2167486301 @default.
- W2061127958 hasRelatedWork W2763815264 @default.
- W2061127958 hasRelatedWork W3004657049 @default.
- W2061127958 hasRelatedWork W3137189469 @default.
- W2061127958 hasRelatedWork W3160136729 @default.
- W2061127958 isParatext "false" @default.
- W2061127958 isRetracted "false" @default.
- W2061127958 magId "2061127958" @default.
- W2061127958 workType "article" @default.