About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Interpreted as:
journal:(Electronic AND Notes AND in AND Theoretical AND Computer AND Science) AND title:(Integrated AND Java AND Bytecode AND Verification)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
1
Journal article
Integrated Java Bytecode Verification 10.1016/j.entcs.2005.01.020
are no longer verified explicitly. This integrated approach is more efficient than traditional bytecode verification but still as safe as strict verification, as overall program correctness can be induced once the data flow from each definition to all associated uses is known to be type-safe.
Year: 2005
Language: English
2
Journal article
Integrated Java Bytecode Verification
are no longer verified explicitly. This integrated approach is more efficient than traditional bytecode verification but still as safe as strict verification, as overall program correctness can be induced once the data flow from each definition to all associated uses is known to be type-safe.
Year: 2005
Language: English
