Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520671672> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1520671672 endingPage "132" @default.
- W1520671672 startingPage "116" @default.
- W1520671672 abstract "The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supplied type annotations. This paper describes a type inference algorithm for rccjava. Due to the interaction of parameterized classes and dependent types, this type inference problem is NP-complete. This complexity result motivates our new approach to type inference, which is via reduction to propositional satisfiability. This paper describes our type inference algorithm and its performance on programs of up to 30,000 lines of code." @default.
- W1520671672 created "2016-06-24" @default.
- W1520671672 creator A5018139743 @default.
- W1520671672 creator A5052993755 @default.
- W1520671672 date "2004-01-01" @default.
- W1520671672 modified "2023-10-17" @default.
- W1520671672 title "Type Inference Against Races" @default.
- W1520671672 cites W1483476483 @default.
- W1520671672 cites W1520671672 @default.
- W1520671672 cites W1567536133 @default.
- W1520671672 cites W1972544179 @default.
- W1520671672 cites W1980522179 @default.
- W1520671672 cites W1999637392 @default.
- W1520671672 cites W2040152339 @default.
- W1520671672 cites W2045313089 @default.
- W1520671672 cites W2051600169 @default.
- W1520671672 cites W2080648611 @default.
- W1520671672 cites W2082766667 @default.
- W1520671672 cites W2097687957 @default.
- W1520671672 cites W2102731275 @default.
- W1520671672 cites W2103957752 @default.
- W1520671672 cites W2109875364 @default.
- W1520671672 cites W2125165081 @default.
- W1520671672 cites W2129133667 @default.
- W1520671672 cites W2132500556 @default.
- W1520671672 cites W2142785340 @default.
- W1520671672 cites W2144118030 @default.
- W1520671672 cites W2146934772 @default.
- W1520671672 cites W2172255864 @default.
- W1520671672 cites W2177603938 @default.
- W1520671672 cites W298244054 @default.
- W1520671672 cites W4230662430 @default.
- W1520671672 cites W4235116491 @default.
- W1520671672 doi "https://doi.org/10.1007/978-3-540-27864-1_11" @default.
- W1520671672 hasPublicationYear "2004" @default.
- W1520671672 type Work @default.
- W1520671672 sameAs 1520671672 @default.
- W1520671672 citedByCount "34" @default.
- W1520671672 countsByYear W15206716722013 @default.
- W1520671672 countsByYear W15206716722014 @default.
- W1520671672 countsByYear W15206716722016 @default.
- W1520671672 countsByYear W15206716722019 @default.
- W1520671672 crossrefType "book-chapter" @default.
- W1520671672 hasAuthorship W1520671672A5018139743 @default.
- W1520671672 hasAuthorship W1520671672A5052993755 @default.
- W1520671672 hasBestOaLocation W15206716722 @default.
- W1520671672 hasConcept C11413529 @default.
- W1520671672 hasConcept C154945302 @default.
- W1520671672 hasConcept C165464430 @default.
- W1520671672 hasConcept C18903297 @default.
- W1520671672 hasConcept C198370458 @default.
- W1520671672 hasConcept C199360897 @default.
- W1520671672 hasConcept C2776214188 @default.
- W1520671672 hasConcept C2777299769 @default.
- W1520671672 hasConcept C2778514511 @default.
- W1520671672 hasConcept C41008148 @default.
- W1520671672 hasConcept C548217200 @default.
- W1520671672 hasConcept C80444323 @default.
- W1520671672 hasConcept C86803240 @default.
- W1520671672 hasConceptScore W1520671672C11413529 @default.
- W1520671672 hasConceptScore W1520671672C154945302 @default.
- W1520671672 hasConceptScore W1520671672C165464430 @default.
- W1520671672 hasConceptScore W1520671672C18903297 @default.
- W1520671672 hasConceptScore W1520671672C198370458 @default.
- W1520671672 hasConceptScore W1520671672C199360897 @default.
- W1520671672 hasConceptScore W1520671672C2776214188 @default.
- W1520671672 hasConceptScore W1520671672C2777299769 @default.
- W1520671672 hasConceptScore W1520671672C2778514511 @default.
- W1520671672 hasConceptScore W1520671672C41008148 @default.
- W1520671672 hasConceptScore W1520671672C548217200 @default.
- W1520671672 hasConceptScore W1520671672C80444323 @default.
- W1520671672 hasConceptScore W1520671672C86803240 @default.
- W1520671672 hasLocation W15206716721 @default.
- W1520671672 hasLocation W15206716722 @default.
- W1520671672 hasOpenAccess W1520671672 @default.
- W1520671672 hasPrimaryLocation W15206716721 @default.
- W1520671672 hasRelatedWork W1480879962 @default.
- W1520671672 hasRelatedWork W1964999277 @default.
- W1520671672 hasRelatedWork W2021596359 @default.
- W1520671672 hasRelatedWork W2185017216 @default.
- W1520671672 hasRelatedWork W3137189469 @default.
- W1520671672 hasRelatedWork W3160136729 @default.
- W1520671672 hasRelatedWork W4246531319 @default.
- W1520671672 hasRelatedWork W4252419525 @default.
- W1520671672 hasRelatedWork W1482645738 @default.
- W1520671672 hasRelatedWork W2528467228 @default.
- W1520671672 isParatext "false" @default.
- W1520671672 isRetracted "false" @default.
- W1520671672 magId "1520671672" @default.
- W1520671672 workType "book-chapter" @default.