Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136362013> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2136362013 endingPage "706" @default.
- W2136362013 startingPage "689" @default.
- W2136362013 abstract "Java access modifiers and packages provide a mechanism to restrict access to members and types, as an additional means of information hiding beyond the purely object-oriented concept of classes. In this paper we clarify the semantics of access modifiers and packages by adding them to our formal model of Java in the theorem prover Isabelle/HOL. We analyse which properties we can rely on at runtime, provided that the program has passed the static accessibility tests. Copyright © 2004 John Wiley & Sons, Ltd." @default.
- W2136362013 created "2016-06-24" @default.
- W2136362013 creator A5040915471 @default.
- W2136362013 date "2004-04-27" @default.
- W2136362013 modified "2023-09-26" @default.
- W2136362013 title "Analysing the Java package/access concepts in Isabelle/HOL" @default.
- W2136362013 cites W1528742394 @default.
- W2136362013 cites W1553537175 @default.
- W2136362013 cites W1557646685 @default.
- W2136362013 cites W1569794958 @default.
- W2136362013 cites W1644882639 @default.
- W2136362013 cites W1978035064 @default.
- W2136362013 cites W2106192381 @default.
- W2136362013 cites W2112100155 @default.
- W2136362013 cites W2748274082 @default.
- W2136362013 cites W2013886348 @default.
- W2136362013 doi "https://doi.org/10.1002/cpe.800" @default.
- W2136362013 hasPublicationYear "2004" @default.
- W2136362013 type Work @default.
- W2136362013 sameAs 2136362013 @default.
- W2136362013 citedByCount "11" @default.
- W2136362013 countsByYear W21363620132012 @default.
- W2136362013 countsByYear W21363620132013 @default.
- W2136362013 countsByYear W21363620132018 @default.
- W2136362013 crossrefType "journal-article" @default.
- W2136362013 hasAuthorship W2136362013A5040915471 @default.
- W2136362013 hasConcept C108710211 @default.
- W2136362013 hasConcept C17435882 @default.
- W2136362013 hasConcept C184337299 @default.
- W2136362013 hasConcept C199360897 @default.
- W2136362013 hasConcept C203265346 @default.
- W2136362013 hasConcept C2524010 @default.
- W2136362013 hasConcept C33923547 @default.
- W2136362013 hasConcept C41008148 @default.
- W2136362013 hasConcept C548217200 @default.
- W2136362013 hasConcept C80444323 @default.
- W2136362013 hasConceptScore W2136362013C108710211 @default.
- W2136362013 hasConceptScore W2136362013C17435882 @default.
- W2136362013 hasConceptScore W2136362013C184337299 @default.
- W2136362013 hasConceptScore W2136362013C199360897 @default.
- W2136362013 hasConceptScore W2136362013C203265346 @default.
- W2136362013 hasConceptScore W2136362013C2524010 @default.
- W2136362013 hasConceptScore W2136362013C33923547 @default.
- W2136362013 hasConceptScore W2136362013C41008148 @default.
- W2136362013 hasConceptScore W2136362013C548217200 @default.
- W2136362013 hasConceptScore W2136362013C80444323 @default.
- W2136362013 hasIssue "7" @default.
- W2136362013 hasLocation W21363620131 @default.
- W2136362013 hasOpenAccess W2136362013 @default.
- W2136362013 hasPrimaryLocation W21363620131 @default.
- W2136362013 hasRelatedWork W1490787830 @default.
- W2136362013 hasRelatedWork W1493446239 @default.
- W2136362013 hasRelatedWork W1860988706 @default.
- W2136362013 hasRelatedWork W1979547103 @default.
- W2136362013 hasRelatedWork W2021448290 @default.
- W2136362013 hasRelatedWork W2136362013 @default.
- W2136362013 hasRelatedWork W2162118494 @default.
- W2136362013 hasRelatedWork W27605384 @default.
- W2136362013 hasRelatedWork W2886069053 @default.
- W2136362013 hasRelatedWork W2528467228 @default.
- W2136362013 hasVolume "16" @default.
- W2136362013 isParatext "false" @default.
- W2136362013 isRetracted "false" @default.
- W2136362013 magId "2136362013" @default.
- W2136362013 workType "article" @default.