Matches in SemOpenAlex for { <https://semopenalex.org/work/W107799662> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W107799662 endingPage "670" @default.
- W107799662 startingPage "647" @default.
- W107799662 abstract "Java is normally compiled to bytecode, which is verified and then executed by the Java Virtual Machine. Bytecode produced via compilation must pass verification. The main cause of complexity for bytecode verification is subroutines, used by compilers to generate more compact code. The techniques to verify subroutines proposed in the literature reject certain programs produced by mundane compilers, are difficult to realize within an implementation of the Java Virtual Machine or are relatively complicated. This paper presents a novel technique which is very simple to understand, implement and prove sound. It is also very powerful: the set of accepted programs has a simple characterization which most likely includes all the code produced by current compilers and which enables future compilers to make more extensive use of subroutines. Copyright © 2004 John Wiley & Sons, Ltd." @default.
- W107799662 created "2016-06-24" @default.
- W107799662 creator A5027174237 @default.
- W107799662 date "2004-06-01" @default.
- W107799662 modified "2023-09-26" @default.
- W107799662 title "Simple verification technique for complex Java bytecode subroutines: Research Articles" @default.
- W107799662 hasPublicationYear "2004" @default.
- W107799662 type Work @default.
- W107799662 sameAs 107799662 @default.
- W107799662 citedByCount "6" @default.
- W107799662 crossrefType "proceedings-article" @default.
- W107799662 hasAuthorship W107799662A5027174237 @default.
- W107799662 hasConcept C111472728 @default.
- W107799662 hasConcept C111919701 @default.
- W107799662 hasConcept C115168132 @default.
- W107799662 hasConcept C138885662 @default.
- W107799662 hasConcept C15524039 @default.
- W107799662 hasConcept C168702491 @default.
- W107799662 hasConcept C169590947 @default.
- W107799662 hasConcept C199360897 @default.
- W107799662 hasConcept C2777472213 @default.
- W107799662 hasConcept C2779818221 @default.
- W107799662 hasConcept C2780586882 @default.
- W107799662 hasConcept C41008148 @default.
- W107799662 hasConcept C548217200 @default.
- W107799662 hasConcept C96147967 @default.
- W107799662 hasConceptScore W107799662C111472728 @default.
- W107799662 hasConceptScore W107799662C111919701 @default.
- W107799662 hasConceptScore W107799662C115168132 @default.
- W107799662 hasConceptScore W107799662C138885662 @default.
- W107799662 hasConceptScore W107799662C15524039 @default.
- W107799662 hasConceptScore W107799662C168702491 @default.
- W107799662 hasConceptScore W107799662C169590947 @default.
- W107799662 hasConceptScore W107799662C199360897 @default.
- W107799662 hasConceptScore W107799662C2777472213 @default.
- W107799662 hasConceptScore W107799662C2779818221 @default.
- W107799662 hasConceptScore W107799662C2780586882 @default.
- W107799662 hasConceptScore W107799662C41008148 @default.
- W107799662 hasConceptScore W107799662C548217200 @default.
- W107799662 hasConceptScore W107799662C96147967 @default.
- W107799662 hasIssue "7" @default.
- W107799662 hasLocation W1077996621 @default.
- W107799662 hasOpenAccess W107799662 @default.
- W107799662 hasPrimaryLocation W1077996621 @default.
- W107799662 hasRelatedWork W1501401133 @default.
- W107799662 hasRelatedWork W1508742040 @default.
- W107799662 hasRelatedWork W1514258760 @default.
- W107799662 hasRelatedWork W1544300973 @default.
- W107799662 hasRelatedWork W2015402832 @default.
- W107799662 hasRelatedWork W2027642766 @default.
- W107799662 hasRelatedWork W2028327857 @default.
- W107799662 hasRelatedWork W2043664979 @default.
- W107799662 hasRelatedWork W2049395586 @default.
- W107799662 hasRelatedWork W2101786162 @default.
- W107799662 hasRelatedWork W2133165526 @default.
- W107799662 hasRelatedWork W2146044452 @default.
- W107799662 hasRelatedWork W2150352456 @default.
- W107799662 hasRelatedWork W2166104710 @default.
- W107799662 hasRelatedWork W2297445922 @default.
- W107799662 hasRelatedWork W2675276594 @default.
- W107799662 hasRelatedWork W2779411928 @default.
- W107799662 hasRelatedWork W3105068648 @default.
- W107799662 hasRelatedWork W43914168 @default.
- W107799662 hasRelatedWork W2408282970 @default.
- W107799662 hasVolume "16" @default.
- W107799662 isParatext "false" @default.
- W107799662 isRetracted "false" @default.
- W107799662 magId "107799662" @default.
- W107799662 workType "article" @default.