Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000217350> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2000217350 endingPage "45" @default.
- W2000217350 startingPage "34" @default.
- W2000217350 abstract "Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the 1970s. Eiffel, an object-oriented programming language, wholeheartedly adopted assertions and developed the Design by Contract philosophy. Indeed, the entire object-oriented community recognizes the value of assertion-based contracts on methods. In contrast, languages with higher-order functions do not support assertion-based contracts. Because predicates on functions are, in general, undecidable, specifying such predicates appears to be meaningless. Instead, the functional languages community developed type systems that statically approximate interesting predicates. In this paper, we show how to support higher-order function contracts in a theoretically well-founded and practically viable manner. Specifically, we introduce ? CON , a typed lambda calculus with assertions for higher-order functions. The calculus models the assertion monitoring system that we employ in Dr Scheme. We establish basic properties of the model (type soundness, etc.) and illustrate the usefulness of contract checking with examples from Dr Scheme's code base. We believe that the development of an assertion system for higherorder functions serves two purposes. On one hand, the system has strong practical potential because existing type systems simply cannot express many assertions that programmers would like to state. nOn the other hand, an inspection of a large base of invariants may provide inspiration for the direction of practical future type system research." @default.
- W2000217350 created "2016-06-24" @default.
- W2000217350 creator A5000905628 @default.
- W2000217350 creator A5081388086 @default.
- W2000217350 date "2013-07-09" @default.
- W2000217350 modified "2023-09-27" @default.
- W2000217350 title "ICFP 2002" @default.
- W2000217350 cites W2002301065 @default.
- W2000217350 cites W2015077407 @default.
- W2000217350 cites W2022373880 @default.
- W2000217350 cites W2048569219 @default.
- W2000217350 cites W2055806388 @default.
- W2000217350 cites W2057670587 @default.
- W2000217350 cites W2068063761 @default.
- W2000217350 cites W2081814494 @default.
- W2000217350 cites W2087359745 @default.
- W2000217350 cites W2096760759 @default.
- W2000217350 cites W2104204098 @default.
- W2000217350 cites W2115484804 @default.
- W2000217350 cites W2141194372 @default.
- W2000217350 cites W2145945984 @default.
- W2000217350 cites W2151716725 @default.
- W2000217350 cites W2165121897 @default.
- W2000217350 doi "https://doi.org/10.1145/2502508.2502521" @default.
- W2000217350 hasPublicationYear "2013" @default.
- W2000217350 type Work @default.
- W2000217350 sameAs 2000217350 @default.
- W2000217350 citedByCount "4" @default.
- W2000217350 countsByYear W20002173502013 @default.
- W2000217350 countsByYear W20002173502014 @default.
- W2000217350 countsByYear W20002173502015 @default.
- W2000217350 countsByYear W20002173502022 @default.
- W2000217350 crossrefType "journal-article" @default.
- W2000217350 hasAuthorship W2000217350A5000905628 @default.
- W2000217350 hasAuthorship W2000217350A5081388086 @default.
- W2000217350 hasConcept C153269930 @default.
- W2000217350 hasConcept C186362262 @default.
- W2000217350 hasConcept C186846655 @default.
- W2000217350 hasConcept C192034797 @default.
- W2000217350 hasConcept C199360897 @default.
- W2000217350 hasConcept C2777904410 @default.
- W2000217350 hasConcept C39920170 @default.
- W2000217350 hasConcept C40422974 @default.
- W2000217350 hasConcept C41008148 @default.
- W2000217350 hasConcept C42383842 @default.
- W2000217350 hasConcept C529173508 @default.
- W2000217350 hasConcept C73752529 @default.
- W2000217350 hasConcept C80291951 @default.
- W2000217350 hasConcept C80444323 @default.
- W2000217350 hasConceptScore W2000217350C153269930 @default.
- W2000217350 hasConceptScore W2000217350C186362262 @default.
- W2000217350 hasConceptScore W2000217350C186846655 @default.
- W2000217350 hasConceptScore W2000217350C192034797 @default.
- W2000217350 hasConceptScore W2000217350C199360897 @default.
- W2000217350 hasConceptScore W2000217350C2777904410 @default.
- W2000217350 hasConceptScore W2000217350C39920170 @default.
- W2000217350 hasConceptScore W2000217350C40422974 @default.
- W2000217350 hasConceptScore W2000217350C41008148 @default.
- W2000217350 hasConceptScore W2000217350C42383842 @default.
- W2000217350 hasConceptScore W2000217350C529173508 @default.
- W2000217350 hasConceptScore W2000217350C73752529 @default.
- W2000217350 hasConceptScore W2000217350C80291951 @default.
- W2000217350 hasConceptScore W2000217350C80444323 @default.
- W2000217350 hasIssue "4S" @default.
- W2000217350 hasLocation W20002173501 @default.
- W2000217350 hasOpenAccess W2000217350 @default.
- W2000217350 hasPrimaryLocation W20002173501 @default.
- W2000217350 hasRelatedWork W1002434765 @default.
- W2000217350 hasRelatedWork W1493031836 @default.
- W2000217350 hasRelatedWork W1518075319 @default.
- W2000217350 hasRelatedWork W1566936408 @default.
- W2000217350 hasRelatedWork W2000217350 @default.
- W2000217350 hasRelatedWork W2081999848 @default.
- W2000217350 hasRelatedWork W2105142318 @default.
- W2000217350 hasRelatedWork W2153947295 @default.
- W2000217350 hasRelatedWork W421036565 @default.
- W2000217350 hasRelatedWork W4253591485 @default.
- W2000217350 hasVolume "48" @default.
- W2000217350 isParatext "false" @default.
- W2000217350 isRetracted "false" @default.
- W2000217350 magId "2000217350" @default.
- W2000217350 workType "article" @default.