Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108538489> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2108538489 endingPage "9" @default.
- W2108538489 startingPage "9" @default.
- W2108538489 abstract "Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation. We conclude that Java/JML combines the advantages of a high level specification in the JML part (based on our Z model), with a detailed implementation in the Java part (based on our C implementation)." @default.
- W2108538489 created "2016-06-24" @default.
- W2108538489 creator A5016345474 @default.
- W2108538489 creator A5018169511 @default.
- W2108538489 creator A5030591251 @default.
- W2108538489 date "2002-11-21" @default.
- W2108538489 modified "2023-09-28" @default.
- W2108538489 title "A java reference model of transacted memory for smart cards" @default.
- W2108538489 cites W1551782231 @default.
- W2108538489 cites W1573557248 @default.
- W2108538489 cites W1578560741 @default.
- W2108538489 cites W1582537688 @default.
- W2108538489 cites W1583826417 @default.
- W2108538489 cites W2069717048 @default.
- W2108538489 cites W2107778618 @default.
- W2108538489 cites W2115309705 @default.
- W2108538489 cites W2121953666 @default.
- W2108538489 cites W2149583792 @default.
- W2108538489 cites W2169004794 @default.
- W2108538489 cites W2583032417 @default.
- W2108538489 cites W2798338883 @default.
- W2108538489 cites W1935103640 @default.
- W2108538489 hasPublicationYear "2002" @default.
- W2108538489 type Work @default.
- W2108538489 sameAs 2108538489 @default.
- W2108538489 citedByCount "1" @default.
- W2108538489 crossrefType "proceedings-article" @default.
- W2108538489 hasAuthorship W2108538489A5016345474 @default.
- W2108538489 hasAuthorship W2108538489A5018169511 @default.
- W2108538489 hasAuthorship W2108538489A5030591251 @default.
- W2108538489 hasConcept C111919701 @default.
- W2108538489 hasConcept C132106392 @default.
- W2108538489 hasConcept C168702491 @default.
- W2108538489 hasConcept C172482141 @default.
- W2108538489 hasConcept C199360897 @default.
- W2108538489 hasConcept C32235180 @default.
- W2108538489 hasConcept C41008148 @default.
- W2108538489 hasConcept C47747970 @default.
- W2108538489 hasConcept C548217200 @default.
- W2108538489 hasConcept C60945770 @default.
- W2108538489 hasConceptScore W2108538489C111919701 @default.
- W2108538489 hasConceptScore W2108538489C132106392 @default.
- W2108538489 hasConceptScore W2108538489C168702491 @default.
- W2108538489 hasConceptScore W2108538489C172482141 @default.
- W2108538489 hasConceptScore W2108538489C199360897 @default.
- W2108538489 hasConceptScore W2108538489C32235180 @default.
- W2108538489 hasConceptScore W2108538489C41008148 @default.
- W2108538489 hasConceptScore W2108538489C47747970 @default.
- W2108538489 hasConceptScore W2108538489C548217200 @default.
- W2108538489 hasConceptScore W2108538489C60945770 @default.
- W2108538489 hasLocation W21085384891 @default.
- W2108538489 hasOpenAccess W2108538489 @default.
- W2108538489 hasPrimaryLocation W21085384891 @default.
- W2108538489 hasRelatedWork W1501720370 @default.
- W2108538489 hasRelatedWork W1570343895 @default.
- W2108538489 hasRelatedWork W1589153215 @default.
- W2108538489 hasRelatedWork W1654262235 @default.
- W2108538489 hasRelatedWork W1668251704 @default.
- W2108538489 hasRelatedWork W1966945773 @default.
- W2108538489 hasRelatedWork W2008801889 @default.
- W2108538489 hasRelatedWork W2021976477 @default.
- W2108538489 hasRelatedWork W2029003002 @default.
- W2108538489 hasRelatedWork W2040318030 @default.
- W2108538489 hasRelatedWork W2068892086 @default.
- W2108538489 hasRelatedWork W2077097589 @default.
- W2108538489 hasRelatedWork W2104506944 @default.
- W2108538489 hasRelatedWork W2117534212 @default.
- W2108538489 hasRelatedWork W2118629387 @default.
- W2108538489 hasRelatedWork W2128480024 @default.
- W2108538489 hasRelatedWork W2132363341 @default.
- W2108538489 hasRelatedWork W2143856104 @default.
- W2108538489 hasRelatedWork W2164810907 @default.
- W2108538489 hasRelatedWork W2166985644 @default.
- W2108538489 isParatext "false" @default.
- W2108538489 isRetracted "false" @default.
- W2108538489 magId "2108538489" @default.
- W2108538489 workType "article" @default.