Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003607268> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2003607268 endingPage "42" @default.
- W2003607268 startingPage "1" @default.
- W2003607268 abstract "We present a new approach to the old problem of adding global mutable state to purely functional languages. Our idea is to extend the language with “witnesses,” which is based on an arguably more pragmatic motivation than past approaches. We give a semantic condition for correctness and prove it is sufficient. We also give a somewhat surprising static checking algorithm that makes use of a network flow property equivalent to the semantic condition via reduction to a satisfaction problem for a system of linear inequalities." @default.
- W2003607268 created "2016-06-24" @default.
- W2003607268 creator A5031661604 @default.
- W2003607268 creator A5087402475 @default.
- W2003607268 date "2008-05-01" @default.
- W2003607268 modified "2023-10-14" @default.
- W2003607268 title "Witnessing side effects" @default.
- W2003607268 cites W1519058488 @default.
- W2003607268 cites W1976580128 @default.
- W2003607268 cites W1980939032 @default.
- W2003607268 cites W1981962444 @default.
- W2003607268 cites W1987421013 @default.
- W2003607268 cites W1997143185 @default.
- W2003607268 cites W2004843654 @default.
- W2003607268 cites W2004971560 @default.
- W2003607268 cites W2011648260 @default.
- W2003607268 cites W2030663607 @default.
- W2003607268 cites W2038677544 @default.
- W2003607268 cites W2060662244 @default.
- W2003607268 cites W2065088439 @default.
- W2003607268 cites W2078944436 @default.
- W2003607268 cites W2088735483 @default.
- W2003607268 cites W2095047539 @default.
- W2003607268 cites W2112022010 @default.
- W2003607268 cites W2127490568 @default.
- W2003607268 cites W2129133667 @default.
- W2003607268 cites W2129224383 @default.
- W2003607268 cites W2153687851 @default.
- W2003607268 doi "https://doi.org/10.1145/1353445.1353449" @default.
- W2003607268 hasPublicationYear "2008" @default.
- W2003607268 type Work @default.
- W2003607268 sameAs 2003607268 @default.
- W2003607268 citedByCount "7" @default.
- W2003607268 countsByYear W20036072682012 @default.
- W2003607268 countsByYear W20036072682019 @default.
- W2003607268 countsByYear W20036072682021 @default.
- W2003607268 countsByYear W20036072682022 @default.
- W2003607268 crossrefType "journal-article" @default.
- W2003607268 hasAuthorship W2003607268A5031661604 @default.
- W2003607268 hasAuthorship W2003607268A5087402475 @default.
- W2003607268 hasConcept C111335779 @default.
- W2003607268 hasConcept C111472728 @default.
- W2003607268 hasConcept C11413529 @default.
- W2003607268 hasConcept C138885662 @default.
- W2003607268 hasConcept C189950617 @default.
- W2003607268 hasConcept C199360897 @default.
- W2003607268 hasConcept C2524010 @default.
- W2003607268 hasConcept C33923547 @default.
- W2003607268 hasConcept C41008148 @default.
- W2003607268 hasConcept C48103436 @default.
- W2003607268 hasConcept C55439883 @default.
- W2003607268 hasConcept C80444323 @default.
- W2003607268 hasConceptScore W2003607268C111335779 @default.
- W2003607268 hasConceptScore W2003607268C111472728 @default.
- W2003607268 hasConceptScore W2003607268C11413529 @default.
- W2003607268 hasConceptScore W2003607268C138885662 @default.
- W2003607268 hasConceptScore W2003607268C189950617 @default.
- W2003607268 hasConceptScore W2003607268C199360897 @default.
- W2003607268 hasConceptScore W2003607268C2524010 @default.
- W2003607268 hasConceptScore W2003607268C33923547 @default.
- W2003607268 hasConceptScore W2003607268C41008148 @default.
- W2003607268 hasConceptScore W2003607268C48103436 @default.
- W2003607268 hasConceptScore W2003607268C55439883 @default.
- W2003607268 hasConceptScore W2003607268C80444323 @default.
- W2003607268 hasIssue "3" @default.
- W2003607268 hasLocation W20036072681 @default.
- W2003607268 hasOpenAccess W2003607268 @default.
- W2003607268 hasPrimaryLocation W20036072681 @default.
- W2003607268 hasRelatedWork W1522191941 @default.
- W2003607268 hasRelatedWork W2024218563 @default.
- W2003607268 hasRelatedWork W2072806201 @default.
- W2003607268 hasRelatedWork W2074425862 @default.
- W2003607268 hasRelatedWork W2079482412 @default.
- W2003607268 hasRelatedWork W2366668137 @default.
- W2003607268 hasRelatedWork W2391397882 @default.
- W2003607268 hasRelatedWork W2538343486 @default.
- W2003607268 hasRelatedWork W4238823939 @default.
- W2003607268 hasRelatedWork W2789178056 @default.
- W2003607268 hasVolume "30" @default.
- W2003607268 isParatext "false" @default.
- W2003607268 isRetracted "false" @default.
- W2003607268 magId "2003607268" @default.
- W2003607268 workType "article" @default.