Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570258731> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1570258731 endingPage "418" @default.
- W1570258731 startingPage "389" @default.
- W1570258731 abstract "Amidst rocketing numbers of enthusiastic Java programmers and internet applet users, there is growing concern about the security of executing Java code produced by external, unknown sources. Rather than waiting to find out empirically what damage Java programs do, we aim to examine first the language and then the environment looking for points of weakness. A proof of the soundness of the Java type system is a first, necessary step towards demonstrating which Java programs won't compromise computer security. We consider a type safe subset of Java describing primitive types, classes, inheritance, instance variables and methods, interfaces, shadowing, dynamic method binding, object creation, null and arrays. We argue that for this subset the type system is sound, by proving that program execution preserves the types, up to subclasses/subinterfaces." @default.
- W1570258731 created "2016-06-24" @default.
- W1570258731 creator A5026471462 @default.
- W1570258731 creator A5060800643 @default.
- W1570258731 date "1997-01-01" @default.
- W1570258731 modified "2023-10-18" @default.
- W1570258731 title "Java is type safe — Probably" @default.
- W1570258731 cites W1524515856 @default.
- W1570258731 cites W188954696 @default.
- W1570258731 cites W1994181029 @default.
- W1570258731 cites W2021686672 @default.
- W1570258731 cites W2048310176 @default.
- W1570258731 cites W2095988676 @default.
- W1570258731 cites W2133546079 @default.
- W1570258731 cites W2136316331 @default.
- W1570258731 cites W2153060956 @default.
- W1570258731 cites W2163976959 @default.
- W1570258731 cites W2169024945 @default.
- W1570258731 cites W2295701783 @default.
- W1570258731 cites W289032424 @default.
- W1570258731 cites W4255445045 @default.
- W1570258731 doi "https://doi.org/10.1007/bfb0053388" @default.
- W1570258731 hasPublicationYear "1997" @default.
- W1570258731 type Work @default.
- W1570258731 sameAs 1570258731 @default.
- W1570258731 citedByCount "89" @default.
- W1570258731 countsByYear W15702587312016 @default.
- W1570258731 countsByYear W15702587312017 @default.
- W1570258731 countsByYear W15702587312018 @default.
- W1570258731 countsByYear W15702587312020 @default.
- W1570258731 crossrefType "book-chapter" @default.
- W1570258731 hasAuthorship W1570258731A5026471462 @default.
- W1570258731 hasAuthorship W1570258731A5060800643 @default.
- W1570258731 hasBestOaLocation W15702587312 @default.
- W1570258731 hasConcept C109701466 @default.
- W1570258731 hasConcept C132106392 @default.
- W1570258731 hasConcept C154945302 @default.
- W1570258731 hasConcept C15524039 @default.
- W1570258731 hasConcept C168702491 @default.
- W1570258731 hasConcept C172482141 @default.
- W1570258731 hasConcept C174954855 @default.
- W1570258731 hasConcept C181907185 @default.
- W1570258731 hasConcept C199360897 @default.
- W1570258731 hasConcept C2777212361 @default.
- W1570258731 hasConcept C32235180 @default.
- W1570258731 hasConcept C39920170 @default.
- W1570258731 hasConcept C41008148 @default.
- W1570258731 hasConcept C548217200 @default.
- W1570258731 hasConcept C60945770 @default.
- W1570258731 hasConceptScore W1570258731C109701466 @default.
- W1570258731 hasConceptScore W1570258731C132106392 @default.
- W1570258731 hasConceptScore W1570258731C154945302 @default.
- W1570258731 hasConceptScore W1570258731C15524039 @default.
- W1570258731 hasConceptScore W1570258731C168702491 @default.
- W1570258731 hasConceptScore W1570258731C172482141 @default.
- W1570258731 hasConceptScore W1570258731C174954855 @default.
- W1570258731 hasConceptScore W1570258731C181907185 @default.
- W1570258731 hasConceptScore W1570258731C199360897 @default.
- W1570258731 hasConceptScore W1570258731C2777212361 @default.
- W1570258731 hasConceptScore W1570258731C32235180 @default.
- W1570258731 hasConceptScore W1570258731C39920170 @default.
- W1570258731 hasConceptScore W1570258731C41008148 @default.
- W1570258731 hasConceptScore W1570258731C548217200 @default.
- W1570258731 hasConceptScore W1570258731C60945770 @default.
- W1570258731 hasLocation W15702587311 @default.
- W1570258731 hasLocation W15702587312 @default.
- W1570258731 hasOpenAccess W1570258731 @default.
- W1570258731 hasPrimaryLocation W15702587311 @default.
- W1570258731 hasRelatedWork W1487686959 @default.
- W1570258731 hasRelatedWork W1519944186 @default.
- W1570258731 hasRelatedWork W1572758480 @default.
- W1570258731 hasRelatedWork W2117534212 @default.
- W1570258731 hasRelatedWork W2541866089 @default.
- W1570258731 hasRelatedWork W2547095320 @default.
- W1570258731 hasRelatedWork W3172992491 @default.
- W1570258731 hasRelatedWork W370370040 @default.
- W1570258731 hasRelatedWork W4210979912 @default.
- W1570258731 hasRelatedWork W2186199411 @default.
- W1570258731 isParatext "false" @default.
- W1570258731 isRetracted "false" @default.
- W1570258731 magId "1570258731" @default.
- W1570258731 workType "book-chapter" @default.