• 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 - 9 von 9

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 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
3

Kleene Algebra and Bytecode Verification
Kozen,Dexter ; Kot,Lucja ; Cornell University Ithaca United States

COMPUTER PROGRAM VERIFIC... java programming languag... transfer functions BYTECODE STATIC ANALYSIS ABSTRACT INTERPRETATION …
Fachzeitschrift
Zur Merkliste hinzufügen
4

Java Bytecode Verification via Static Single Assignment Form
Andreas Gal ; Michael Franz ; Christian W. Probst ; et al.
http://www.ics.uci.edu/~franz/Site/pubs-pdf/J21Prepub.pdf.

General Terms Algorithms Design Experimentation Languages Performance …
Fachzeitschrift
Zur Merkliste hinzufügen
5

Verification Methods for Software Security and Correctness
Gilles Barthe ; The Pennsylvania State University CiteSeerX Archives
https://asimod.informatik.tu-muenchen.de/2007/Abs07_Barthe.pdf.

1. Xavier Leroy. Java By... Algorithms and Formaliza... Journal of Automated
Fachzeitschrift
Zur Merkliste hinzufügen
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Dieses Ergebnis kann Gästen nicht angezeigt werden.

8

Dieses Ergebnis kann Gästen nicht angezeigt werden.

9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter