• Search: "Java Bytecode Verification"

Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 1 - 20 of 167

1

Java bytecode verification via static single assignment form
Gal, Andreas ; Probst, Christian W. ; Franz, Michael
ACM Transactions on Programming Languages and Systems (TOPLAS). 30(4):1-21

Academic journal
Save to List
2

Java bytecode verification on Java cards
Barbuti, Roberto ; Cataudella, Stefano
Proceedings of the 2004 ACM symposium on Applied computing. :431-438

Conference
Save to List
3

Standard fixpoint iteration for Java bytecode verification
Qian, Zhenyu
ACM Transactions on Programming Languages and Systems (TOPLAS). 22(4):638-672

Academic journal
Save to List
4

Java bytecode verification for secure information flow
Avvenuti, Marco ; Bernardeschi, Cinzia ; De Francesco, Nicoletta
ACM SIGPLAN Notices. 38(12):20-27

Academic journal
Save to List
5

Using abstract interpretation to add type checking for interfaces in Java bytecode verification
De Francesco, Nicoletta ; Lettieri, Giuseppe ; Martini, Luca
In Theoretical Computer Science 2010 411(22):2174-2201

Academic journal
Save to List
6

Memory Requirements of Java Bytecode Verification on Limited Devices
Klohs, Karsten ; Kastens, Uwe
In Electronic Notes in Theoretical Computer Science 30 May 2005 132(1):95-111

Academic journal
Save to List
7

Integrated Java Bytecode Verification
Gal, Andreas ; Probst, Christian W. ; Franz, Michael
In Electronic Notes in Theoretical Computer Science 24 May 2005 131:27-38

Academic journal
Save to List
8

Java Bytecode Verification Using Model Checking
Joachim Posegga ; Harald Vogt ; The Pennsylvania State University CiteSeerX Archives
http://www-dse.doc.ic.ac.uk/~sue/oopsla/posegga.f.ps.

Java Bytecode Verificati... Model Checking
Academic journal
Save to List
9

This result is not available to guest users.

10

This result is not available to guest users.

11

This result is not available to guest users.

12

This result is not available to guest users.

13

This result is not available to guest users.

14

This result is not available to guest users.

15

Java Bytecode Verification for @NonNull Types
Male, Chris ; Pearce, David J. ; Potanin, Alex ; et al.
Lecture Notes in Computer Science ; Compiler Construction ; page 229-244 ; ISBN 9783540787907 9783540787914

Book
Save to List
16

This result is not available to guest users.

17

Java bytecode verification: an overview
Leroy, Xavier ; Typed programming, modularity and compilation (CRISTAL) ; Inria Paris-Rocquencourt ; et al.
Computer Aided Verification, CAV 2001 ; https://hal.inria.fr/hal-01499955 ; Computer Aided Verification, CAV 2001, Jul 2001, Paris, France. pp.265-285, ⟨10.1007/3-540-44585-4_26⟩

Paris France [INFO.INFO-PL]Computer S...
Conference
Save to List
18

This result is not available to guest users.

20

Java Bytecode Verification is not possible (Extended Abstract
Robert F. Stärk ; Joachim Schmid ; The Pennsylvania State University CiteSeerX Archives
http://www.tydo.de/files/papers/javaBytecode.pdf.

Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter