Matches in SemOpenAlex for { <https://semopenalex.org/work/W1820096046> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1820096046 endingPage "32" @default.
- W1820096046 startingPage "17" @default.
- W1820096046 abstract "The bytecode verifier of the Java Virtual Machine, which statically checks the type safety of Java bytecode, is the basis of the security model of Java and guarantees the safety of mobile code sent from an untrusted remote host. However, the type system for Java bytecode has some technical problems, one of which is in the handling of sub-routines. Based on the work of Stata and Abadi and that of Qian, this paper presents yet another type system for Java Virtual Machine sub-routines. Our type system includes types of the form last(x). A value whose type is last(x) is the same as that of the x-th variable of the caller of the subroutine. In addition, we represent the type of a return address by the form return(n), which means returning to the n-th outer caller. By virtue of these types, we can analyze instructions purely in terms of type, and as a result the correctness proof of bytecode verification becomes extremely simple. Moreover, for some programs, our method is more powerful than existing ones. In particular, our method has no restrictions on the number of entries and exits of a subroutine." @default.
- W1820096046 created "2016-06-24" @default.
- W1820096046 creator A5057841233 @default.
- W1820096046 creator A5079481895 @default.
- W1820096046 date "1998-01-01" @default.
- W1820096046 modified "2023-09-23" @default.
- W1820096046 title "On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines" @default.
- W1820096046 cites W1570258731 @default.
- W1820096046 cites W1989536180 @default.
- W1820096046 cites W2025672027 @default.
- W1820096046 cites W2034711041 @default.
- W1820096046 cites W2092889242 @default.
- W1820096046 cites W2105360973 @default.
- W1820096046 doi "https://doi.org/10.1007/3-540-49727-7_2" @default.
- W1820096046 hasPublicationYear "1998" @default.
- W1820096046 type Work @default.
- W1820096046 sameAs 1820096046 @default.
- W1820096046 citedByCount "28" @default.
- W1820096046 countsByYear W18200960462018 @default.
- W1820096046 crossrefType "book-chapter" @default.
- W1820096046 hasAuthorship W1820096046A5057841233 @default.
- W1820096046 hasAuthorship W1820096046A5079481895 @default.
- W1820096046 hasConcept C111919701 @default.
- W1820096046 hasConcept C115168132 @default.
- W1820096046 hasConcept C132106392 @default.
- W1820096046 hasConcept C15524039 @default.
- W1820096046 hasConcept C168702491 @default.
- W1820096046 hasConcept C169590947 @default.
- W1820096046 hasConcept C172482141 @default.
- W1820096046 hasConcept C174954855 @default.
- W1820096046 hasConcept C181907185 @default.
- W1820096046 hasConcept C199360897 @default.
- W1820096046 hasConcept C2777472213 @default.
- W1820096046 hasConcept C2779818221 @default.
- W1820096046 hasConcept C41008148 @default.
- W1820096046 hasConcept C548217200 @default.
- W1820096046 hasConcept C55439883 @default.
- W1820096046 hasConcept C60945770 @default.
- W1820096046 hasConcept C96147967 @default.
- W1820096046 hasConcept C96324660 @default.
- W1820096046 hasConceptScore W1820096046C111919701 @default.
- W1820096046 hasConceptScore W1820096046C115168132 @default.
- W1820096046 hasConceptScore W1820096046C132106392 @default.
- W1820096046 hasConceptScore W1820096046C15524039 @default.
- W1820096046 hasConceptScore W1820096046C168702491 @default.
- W1820096046 hasConceptScore W1820096046C169590947 @default.
- W1820096046 hasConceptScore W1820096046C172482141 @default.
- W1820096046 hasConceptScore W1820096046C174954855 @default.
- W1820096046 hasConceptScore W1820096046C181907185 @default.
- W1820096046 hasConceptScore W1820096046C199360897 @default.
- W1820096046 hasConceptScore W1820096046C2777472213 @default.
- W1820096046 hasConceptScore W1820096046C2779818221 @default.
- W1820096046 hasConceptScore W1820096046C41008148 @default.
- W1820096046 hasConceptScore W1820096046C548217200 @default.
- W1820096046 hasConceptScore W1820096046C55439883 @default.
- W1820096046 hasConceptScore W1820096046C60945770 @default.
- W1820096046 hasConceptScore W1820096046C96147967 @default.
- W1820096046 hasConceptScore W1820096046C96324660 @default.
- W1820096046 hasLocation W18200960461 @default.
- W1820096046 hasOpenAccess W1820096046 @default.
- W1820096046 hasPrimaryLocation W18200960461 @default.
- W1820096046 hasRelatedWork W1606351121 @default.
- W1820096046 hasRelatedWork W1820096046 @default.
- W1820096046 hasRelatedWork W2066444215 @default.
- W1820096046 hasRelatedWork W2117534212 @default.
- W1820096046 hasRelatedWork W2197133764 @default.
- W1820096046 hasRelatedWork W2541866089 @default.
- W1820096046 hasRelatedWork W2547095320 @default.
- W1820096046 hasRelatedWork W412736943 @default.
- W1820096046 hasRelatedWork W2220571783 @default.
- W1820096046 hasRelatedWork W2785207032 @default.
- W1820096046 isParatext "false" @default.
- W1820096046 isRetracted "false" @default.
- W1820096046 magId "1820096046" @default.
- W1820096046 workType "book-chapter" @default.