Matches in SemOpenAlex for { <https://semopenalex.org/work/W1880262122> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1880262122 abstract "The Java language enables the development of concurrent and distributed software through the concepts of thread and remote method invocation (RMI). It is known that developing concurrent and distributed software is a challenging task, mainly because of potential concurrency errors such as deadlocks and livelocks. One promising way to help the designer bl this task is providing static analysis tools that can detect such errors in the source code, as documented in the rich literature on static analysis of Ada tasking programs. This paper extends the approach followed for Ada tasking programs to the new Java language, providing formal models for the main thread synchronization primitives offered by the language. The formalism used is Promela, the input language of the model checker SPIN, which is based on extended communicating finite state machines and provides an efficient analysis algorithm" @default.
- W1880262122 created "2016-06-24" @default.
- W1880262122 creator A5021669146 @default.
- W1880262122 creator A5023801605 @default.
- W1880262122 date "2002-11-27" @default.
- W1880262122 modified "2023-09-26" @default.
- W1880262122 title "Static analysis of Java multithreaded and distributed applications" @default.
- W1880262122 cites W1644882639 @default.
- W1880262122 cites W1985541611 @default.
- W1880262122 cites W2030837954 @default.
- W1880262122 cites W2083719008 @default.
- W1880262122 cites W2107978495 @default.
- W1880262122 cites W2109935657 @default.
- W1880262122 cites W2115309705 @default.
- W1880262122 cites W2143463066 @default.
- W1880262122 cites W2147248246 @default.
- W1880262122 cites W2157597221 @default.
- W1880262122 cites W2158163902 @default.
- W1880262122 doi "https://doi.org/10.1109/pdse.1998.668184" @default.
- W1880262122 hasPublicationYear "2002" @default.
- W1880262122 type Work @default.
- W1880262122 sameAs 1880262122 @default.
- W1880262122 citedByCount "6" @default.
- W1880262122 crossrefType "proceedings-article" @default.
- W1880262122 hasAuthorship W1880262122A5021669146 @default.
- W1880262122 hasAuthorship W1880262122A5023801605 @default.
- W1880262122 hasConcept C110251889 @default.
- W1880262122 hasConcept C120314980 @default.
- W1880262122 hasConcept C132106392 @default.
- W1880262122 hasConcept C138101251 @default.
- W1880262122 hasConcept C168702491 @default.
- W1880262122 hasConcept C172482141 @default.
- W1880262122 hasConcept C181907185 @default.
- W1880262122 hasConcept C188045909 @default.
- W1880262122 hasConcept C193702766 @default.
- W1880262122 hasConcept C199360897 @default.
- W1880262122 hasConcept C2776329536 @default.
- W1880262122 hasConcept C41008148 @default.
- W1880262122 hasConcept C548217200 @default.
- W1880262122 hasConcept C60945770 @default.
- W1880262122 hasConcept C75949130 @default.
- W1880262122 hasConcept C97686452 @default.
- W1880262122 hasConceptScore W1880262122C110251889 @default.
- W1880262122 hasConceptScore W1880262122C120314980 @default.
- W1880262122 hasConceptScore W1880262122C132106392 @default.
- W1880262122 hasConceptScore W1880262122C138101251 @default.
- W1880262122 hasConceptScore W1880262122C168702491 @default.
- W1880262122 hasConceptScore W1880262122C172482141 @default.
- W1880262122 hasConceptScore W1880262122C181907185 @default.
- W1880262122 hasConceptScore W1880262122C188045909 @default.
- W1880262122 hasConceptScore W1880262122C193702766 @default.
- W1880262122 hasConceptScore W1880262122C199360897 @default.
- W1880262122 hasConceptScore W1880262122C2776329536 @default.
- W1880262122 hasConceptScore W1880262122C41008148 @default.
- W1880262122 hasConceptScore W1880262122C548217200 @default.
- W1880262122 hasConceptScore W1880262122C60945770 @default.
- W1880262122 hasConceptScore W1880262122C75949130 @default.
- W1880262122 hasConceptScore W1880262122C97686452 @default.
- W1880262122 hasLocation W18802621221 @default.
- W1880262122 hasOpenAccess W1880262122 @default.
- W1880262122 hasPrimaryLocation W18802621221 @default.
- W1880262122 hasRelatedWork W120614090 @default.
- W1880262122 hasRelatedWork W1492286736 @default.
- W1880262122 hasRelatedWork W1502886843 @default.
- W1880262122 hasRelatedWork W1560183352 @default.
- W1880262122 hasRelatedWork W1601634489 @default.
- W1880262122 hasRelatedWork W1616236627 @default.
- W1880262122 hasRelatedWork W2000818684 @default.
- W1880262122 hasRelatedWork W2051020320 @default.
- W1880262122 hasRelatedWork W2058843773 @default.
- W1880262122 hasRelatedWork W2098550363 @default.
- W1880262122 hasRelatedWork W2105322621 @default.
- W1880262122 hasRelatedWork W2121217300 @default.
- W1880262122 hasRelatedWork W2138058557 @default.
- W1880262122 hasRelatedWork W2155450013 @default.
- W1880262122 hasRelatedWork W2370476667 @default.
- W1880262122 hasRelatedWork W2388837976 @default.
- W1880262122 hasRelatedWork W2572695217 @default.
- W1880262122 hasRelatedWork W298244054 @default.
- W1880262122 hasRelatedWork W3121650164 @default.
- W1880262122 hasRelatedWork W62998173 @default.
- W1880262122 isParatext "false" @default.
- W1880262122 isRetracted "false" @default.
- W1880262122 magId "1880262122" @default.
- W1880262122 workType "article" @default.