Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159113354> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2159113354 abstract "In previous work on SafeJava we presented a type system extension to the Java source language that statically prevents data races and deadlocks in multithreaded programs. SafeJava is expressive enough to support common programming patterns, its type checking is fast and scalable, and it requires little programming overhead. SafeJava thus offers a promising approach for making multithreaded programs more reliable. This paper presents a corresponding type system extension for the Java virtual machine language (JVML). We call the resulting language SafeJVML. Well-typed SafeJVML programs are guaranteed to be free of data races and deadlocks. Designing a corresponding type system for JVML is important because most Java code is shipped in the JVML format. Designing acorresponding type system for JVML is nontrivial because of important differences between Java and JVML. In particular, the absence of block structure in JVML programs and the fact that they do not use named local variables the way Java programs do make the type systems for Java and JVML significantly different. For example, verifying absence of races and deadlocks in JVML programs requires performing an alias analysis, something that was not necessary for verifying absence of races and deadlocks in Java programs. This paper presents static and dynamic semantics for Safe JVML. It also includes a proof that the SafeJVML type system is sound and that it prevents data races and deadlocks. To the best of our knowledge, this is the first type system for JVML that statically ensures absence of synchronization errors." @default.
- W2159113354 created "2016-06-24" @default.
- W2159113354 creator A5022470877 @default.
- W2159113354 creator A5026703892 @default.
- W2159113354 creator A5074082408 @default.
- W2159113354 date "2007-06-13" @default.
- W2159113354 modified "2023-10-17" @default.
- W2159113354 title "A type system for preventing data races and deadlocks in the java virtual machine language" @default.
- W2159113354 cites W1696656935 @default.
- W2159113354 cites W1966130668 @default.
- W2159113354 cites W1990059735 @default.
- W2159113354 cites W2005119878 @default.
- W2159113354 cites W2010608535 @default.
- W2159113354 cites W2030601112 @default.
- W2159113354 cites W2046317364 @default.
- W2159113354 cites W2052087935 @default.
- W2159113354 cites W2073407646 @default.
- W2159113354 cites W2080648611 @default.
- W2159113354 cites W2097687957 @default.
- W2159113354 cites W2103957752 @default.
- W2159113354 cites W2105360973 @default.
- W2159113354 cites W2109875364 @default.
- W2159113354 cites W2146934772 @default.
- W2159113354 cites W2156094114 @default.
- W2159113354 cites W2156428492 @default.
- W2159113354 cites W2160456755 @default.
- W2159113354 cites W2170389900 @default.
- W2159113354 cites W4238698576 @default.
- W2159113354 cites W4253644677 @default.
- W2159113354 doi "https://doi.org/10.1145/1254766.1254768" @default.
- W2159113354 hasPublicationYear "2007" @default.
- W2159113354 type Work @default.
- W2159113354 sameAs 2159113354 @default.
- W2159113354 citedByCount "13" @default.
- W2159113354 countsByYear W21591133542012 @default.
- W2159113354 countsByYear W21591133542013 @default.
- W2159113354 countsByYear W21591133542015 @default.
- W2159113354 countsByYear W21591133542021 @default.
- W2159113354 crossrefType "proceedings-article" @default.
- W2159113354 hasAuthorship W2159113354A5022470877 @default.
- W2159113354 hasAuthorship W2159113354A5026703892 @default.
- W2159113354 hasAuthorship W2159113354A5074082408 @default.
- W2159113354 hasBestOaLocation W21591133542 @default.
- W2159113354 hasConcept C109701466 @default.
- W2159113354 hasConcept C132106392 @default.
- W2159113354 hasConcept C138958017 @default.
- W2159113354 hasConcept C168702491 @default.
- W2159113354 hasConcept C172482141 @default.
- W2159113354 hasConcept C174954855 @default.
- W2159113354 hasConcept C181907185 @default.
- W2159113354 hasConcept C199360897 @default.
- W2159113354 hasConcept C41008148 @default.
- W2159113354 hasConcept C44779574 @default.
- W2159113354 hasConcept C548217200 @default.
- W2159113354 hasConcept C60945770 @default.
- W2159113354 hasConceptScore W2159113354C109701466 @default.
- W2159113354 hasConceptScore W2159113354C132106392 @default.
- W2159113354 hasConceptScore W2159113354C138958017 @default.
- W2159113354 hasConceptScore W2159113354C168702491 @default.
- W2159113354 hasConceptScore W2159113354C172482141 @default.
- W2159113354 hasConceptScore W2159113354C174954855 @default.
- W2159113354 hasConceptScore W2159113354C181907185 @default.
- W2159113354 hasConceptScore W2159113354C199360897 @default.
- W2159113354 hasConceptScore W2159113354C41008148 @default.
- W2159113354 hasConceptScore W2159113354C44779574 @default.
- W2159113354 hasConceptScore W2159113354C548217200 @default.
- W2159113354 hasConceptScore W2159113354C60945770 @default.
- W2159113354 hasLocation W21591133541 @default.
- W2159113354 hasLocation W21591133542 @default.
- W2159113354 hasOpenAccess W2159113354 @default.
- W2159113354 hasPrimaryLocation W21591133541 @default.
- W2159113354 hasRelatedWork W1519944186 @default.
- W2159113354 hasRelatedWork W2117534212 @default.
- W2159113354 hasRelatedWork W2122434855 @default.
- W2159113354 hasRelatedWork W2541866089 @default.
- W2159113354 hasRelatedWork W2547095320 @default.
- W2159113354 hasRelatedWork W3172992491 @default.
- W2159113354 hasRelatedWork W4210979912 @default.
- W2159113354 hasRelatedWork W4231981509 @default.
- W2159113354 hasRelatedWork W4293031961 @default.
- W2159113354 hasRelatedWork W590871224 @default.
- W2159113354 isParatext "false" @default.
- W2159113354 isRetracted "false" @default.
- W2159113354 magId "2159113354" @default.
- W2159113354 workType "article" @default.