Matches in SemOpenAlex for { <https://semopenalex.org/work/W1828133071> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1828133071 abstract "The Java programming language is a modem object-oriented language that supports concurrency. Ensuring concurrent programs are correct is difficult. Additional problems encountered in concurrent programs, compared with sequential programs, include deadlock, livelock, starvation, and dormancy. Often these problems are related and are sometimes side effects of one another Furthermore, different programming languages attach different meanings to these terms. Sun Microsystems provides a textual description of the Java concurrency model which is inadequate for reasoning with such programs. Formal specifications are required for verifying concurrent programs through the use of tools and methods such as static analysis, dynamic analysis, model-checking, and theorem proving. It is clear that the behaviour of the Java concurrency model must be unambiguous and well-understood for these tools to operate effectively. This paper presents a formal specification of the Java concurrency model using the Z specification language. A number of important correctness properties of concurrent programs are constructed from the model, and their application to the implementation of verification and testing tools for concurrent Java programs is discussed." @default.
- W1828133071 created "2016-06-24" @default.
- W1828133071 creator A5047142389 @default.
- W1828133071 date "2004-03-22" @default.
- W1828133071 modified "2023-10-17" @default.
- W1828133071 title "Formal specification of Java concurrency to assist software verification" @default.
- W1828133071 cites W1932714653 @default.
- W1828133071 cites W2034058877 @default.
- W1828133071 cites W2043292640 @default.
- W1828133071 cites W2054145559 @default.
- W1828133071 cites W2055116083 @default.
- W1828133071 cites W2091184222 @default.
- W1828133071 cites W2097796549 @default.
- W1828133071 cites W2101946114 @default.
- W1828133071 cites W2109180425 @default.
- W1828133071 cites W2128111779 @default.
- W1828133071 cites W2128513900 @default.
- W1828133071 cites W2139241964 @default.
- W1828133071 cites W2147593930 @default.
- W1828133071 cites W4213079124 @default.
- W1828133071 doi "https://doi.org/10.1109/ipdps.2003.1213262" @default.
- W1828133071 hasPublicationYear "2004" @default.
- W1828133071 type Work @default.
- W1828133071 sameAs 1828133071 @default.
- W1828133071 citedByCount "8" @default.
- W1828133071 countsByYear W18281330712012 @default.
- W1828133071 countsByYear W18281330712016 @default.
- W1828133071 crossrefType "proceedings-article" @default.
- W1828133071 hasAuthorship W1828133071A5047142389 @default.
- W1828133071 hasConcept C115903868 @default.
- W1828133071 hasConcept C132106392 @default.
- W1828133071 hasConcept C168702491 @default.
- W1828133071 hasConcept C186846655 @default.
- W1828133071 hasConcept C193702766 @default.
- W1828133071 hasConcept C199360897 @default.
- W1828133071 hasConcept C2777904410 @default.
- W1828133071 hasConcept C33054407 @default.
- W1828133071 hasConcept C41008148 @default.
- W1828133071 hasConcept C529173508 @default.
- W1828133071 hasConcept C548217200 @default.
- W1828133071 hasConcept C60945770 @default.
- W1828133071 hasConceptScore W1828133071C115903868 @default.
- W1828133071 hasConceptScore W1828133071C132106392 @default.
- W1828133071 hasConceptScore W1828133071C168702491 @default.
- W1828133071 hasConceptScore W1828133071C186846655 @default.
- W1828133071 hasConceptScore W1828133071C193702766 @default.
- W1828133071 hasConceptScore W1828133071C199360897 @default.
- W1828133071 hasConceptScore W1828133071C2777904410 @default.
- W1828133071 hasConceptScore W1828133071C33054407 @default.
- W1828133071 hasConceptScore W1828133071C41008148 @default.
- W1828133071 hasConceptScore W1828133071C529173508 @default.
- W1828133071 hasConceptScore W1828133071C548217200 @default.
- W1828133071 hasConceptScore W1828133071C60945770 @default.
- W1828133071 hasLocation W18281330711 @default.
- W1828133071 hasOpenAccess W1828133071 @default.
- W1828133071 hasPrimaryLocation W18281330711 @default.
- W1828133071 hasRelatedWork W1481383228 @default.
- W1828133071 hasRelatedWork W1490787830 @default.
- W1828133071 hasRelatedWork W1493446239 @default.
- W1828133071 hasRelatedWork W1555145149 @default.
- W1828133071 hasRelatedWork W1556422878 @default.
- W1828133071 hasRelatedWork W1732417150 @default.
- W1828133071 hasRelatedWork W1825982205 @default.
- W1828133071 hasRelatedWork W2068737373 @default.
- W1828133071 hasRelatedWork W2150153475 @default.
- W1828133071 hasRelatedWork W2247232063 @default.
- W1828133071 isParatext "false" @default.
- W1828133071 isRetracted "false" @default.
- W1828133071 magId "1828133071" @default.
- W1828133071 workType "article" @default.