Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105559023> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2105559023 endingPage "212" @default.
- W2105559023 startingPage "195" @default.
- W2105559023 abstract "We describe a type system that identifies potential type errors in dynamically typed languages like Python. The system uses a flow-sensitive static analysis on bytecodes to compute, for every variable and program point, over-approximations of the variable’s present and future use types. If the future use types are not subsumed by the present types, the further program execution may raise a type error, and a narrowing assertion is inserted; if future use and present types are disjoint, it will raise a type error, and a type error assertion is inserted. We prove that the assertions are inserted in optimal locations and thus preempt type errors earlier than dynamic, soft, and gradual typing. We describe the details of our type inference and assertion insertion, and demonstrate the results of an implementation of the system with a number of examples." @default.
- W2105559023 created "2016-06-24" @default.
- W2105559023 creator A5062506473 @default.
- W2105559023 creator A5068595267 @default.
- W2105559023 creator A5082741874 @default.
- W2105559023 date "2013-01-01" @default.
- W2105559023 modified "2023-10-18" @default.
- W2105559023 title "Preemptive Type Checking in Dynamically Typed Languages" @default.
- W2105559023 cites W1987203566 @default.
- W2105559023 cites W2000005946 @default.
- W2105559023 cites W2055886480 @default.
- W2105559023 cites W2057085278 @default.
- W2105559023 cites W2070088936 @default.
- W2105559023 cites W2071990711 @default.
- W2105559023 cites W2113556560 @default.
- W2105559023 cites W2135536553 @default.
- W2105559023 cites W2148535470 @default.
- W2105559023 cites W3014933227 @default.
- W2105559023 cites W3021187112 @default.
- W2105559023 cites W3115018234 @default.
- W2105559023 cites W4233122656 @default.
- W2105559023 cites W4244625663 @default.
- W2105559023 cites W4244704866 @default.
- W2105559023 cites W4253591485 @default.
- W2105559023 doi "https://doi.org/10.1007/978-3-642-39718-9_12" @default.
- W2105559023 hasPublicationYear "2013" @default.
- W2105559023 type Work @default.
- W2105559023 sameAs 2105559023 @default.
- W2105559023 citedByCount "6" @default.
- W2105559023 countsByYear W21055590232014 @default.
- W2105559023 countsByYear W21055590232016 @default.
- W2105559023 countsByYear W21055590232017 @default.
- W2105559023 countsByYear W21055590232019 @default.
- W2105559023 countsByYear W21055590232021 @default.
- W2105559023 crossrefType "book-chapter" @default.
- W2105559023 hasAuthorship W2105559023A5062506473 @default.
- W2105559023 hasAuthorship W2105559023A5068595267 @default.
- W2105559023 hasAuthorship W2105559023A5082741874 @default.
- W2105559023 hasBestOaLocation W21055590232 @default.
- W2105559023 hasConcept C11413529 @default.
- W2105559023 hasConcept C118615104 @default.
- W2105559023 hasConcept C134306372 @default.
- W2105559023 hasConcept C138958017 @default.
- W2105559023 hasConcept C154945302 @default.
- W2105559023 hasConcept C182365436 @default.
- W2105559023 hasConcept C18903297 @default.
- W2105559023 hasConcept C198370458 @default.
- W2105559023 hasConcept C199360897 @default.
- W2105559023 hasConcept C2776214188 @default.
- W2105559023 hasConcept C2777299769 @default.
- W2105559023 hasConcept C33923547 @default.
- W2105559023 hasConcept C40422974 @default.
- W2105559023 hasConcept C41008148 @default.
- W2105559023 hasConcept C45340560 @default.
- W2105559023 hasConcept C519991488 @default.
- W2105559023 hasConcept C86803240 @default.
- W2105559023 hasConceptScore W2105559023C11413529 @default.
- W2105559023 hasConceptScore W2105559023C118615104 @default.
- W2105559023 hasConceptScore W2105559023C134306372 @default.
- W2105559023 hasConceptScore W2105559023C138958017 @default.
- W2105559023 hasConceptScore W2105559023C154945302 @default.
- W2105559023 hasConceptScore W2105559023C182365436 @default.
- W2105559023 hasConceptScore W2105559023C18903297 @default.
- W2105559023 hasConceptScore W2105559023C198370458 @default.
- W2105559023 hasConceptScore W2105559023C199360897 @default.
- W2105559023 hasConceptScore W2105559023C2776214188 @default.
- W2105559023 hasConceptScore W2105559023C2777299769 @default.
- W2105559023 hasConceptScore W2105559023C33923547 @default.
- W2105559023 hasConceptScore W2105559023C40422974 @default.
- W2105559023 hasConceptScore W2105559023C41008148 @default.
- W2105559023 hasConceptScore W2105559023C45340560 @default.
- W2105559023 hasConceptScore W2105559023C519991488 @default.
- W2105559023 hasConceptScore W2105559023C86803240 @default.
- W2105559023 hasLocation W21055590231 @default.
- W2105559023 hasLocation W21055590232 @default.
- W2105559023 hasOpenAccess W2105559023 @default.
- W2105559023 hasPrimaryLocation W21055590231 @default.
- W2105559023 hasRelatedWork W1480879962 @default.
- W2105559023 hasRelatedWork W1530151067 @default.
- W2105559023 hasRelatedWork W1539860096 @default.
- W2105559023 hasRelatedWork W1550049051 @default.
- W2105559023 hasRelatedWork W2139102157 @default.
- W2105559023 hasRelatedWork W2548165777 @default.
- W2105559023 hasRelatedWork W2763815264 @default.
- W2105559023 hasRelatedWork W3108787290 @default.
- W2105559023 hasRelatedWork W4242791220 @default.
- W2105559023 hasRelatedWork W4252419525 @default.
- W2105559023 isParatext "false" @default.
- W2105559023 isRetracted "false" @default.
- W2105559023 magId "2105559023" @default.
- W2105559023 workType "book-chapter" @default.