• Suche: "Java Bytecode Verification"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 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

Fachzeitschrift
Zur Merkliste hinzufügen
2

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

Konferenz
Zur Merkliste hinzufügen
3

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

Fachzeitschrift
Zur Merkliste hinzufügen
4

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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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
Fachzeitschrift
Zur Merkliste hinzufügen
9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Dieses Ergebnis kann Gästen nicht angezeigt werden.

12

Dieses Ergebnis kann Gästen nicht angezeigt werden.

13

Dieses Ergebnis kann Gästen nicht angezeigt werden.

14

Dieses Ergebnis kann Gästen nicht angezeigt werden.

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

Buch
Zur Merkliste hinzufügen
16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

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...
Konferenz
Zur Merkliste hinzufügen
18

Dieses Ergebnis kann Gästen nicht angezeigt werden.

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.

Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter