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 81 - 100 von 2.936

81

Local model checking of Java bytecode
Santone, Antonella ; Vaglini, Gigliola
Proceedings of the 14th international conference on Software engineering and knowledge engineering. :383-389

Konferenz
82

Fixing the Java bytecode verifier by a suitable type domain
Barbuti, Roberto ; Tesei, Luca ; Bernardeschi, Cinzia ; et al.
Proceedings of the 14th international conference on Software engineering and knowledge engineering. :377-382

Konferenz
83

A formal framework for the Java bytecode language and verifier
Freund, Stephen N. ; Mitchell, John C.
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :147-166

Konferenz
84

A simple, comprehensive type system for Java bytecode subroutines
O'Callahan, Robert
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :70-78

Konferenz
85

An Evaluation of Current Java Bytecode Decompilers
Hamilton, James ; Danicic, Sebastian
2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation, 2009. SCAM '09. Ninth IEEE International Working Conference on. :129-136 Sep, 2009

Konferenz
86

A Heap Model for Java Bytecode to Support Separation Logic
Luo, Chenguang ; He, Guanhua ; Qin, Shengchao
2008 15th Asia-Pacific Software Engineering Conference Software Engineering Conference, 2008. APSEC '08. 15th Asia-Pacific. :127-134 Dec, 2008

Konferenz
87

Verifying object initialization in the Java bytecode language
Doyon, Stéphane ; Debbabi, Mourad
Proceedings of the 2000 ACM symposium on Applied computing - Volume 2. :821-830

Konferenz
88

Java bytecode optimizations
Lambridge, H.D.
Proceedings IEEE COMPCON 97. Digest of Papers COMPCON 97 Compcon '97. Proceedings, IEEE. :206-210 1997

Konferenz
90

Platform independence issues in compiling Java bytecode to native code
Ye Hua ; Tong WeiQin ; Yao WenSheng
Proceedings Fourth International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region High performance computing in the Asia-Pacific region High Performance Computing in the Asia-Pacific Region, 2000. Proceedings. The Fourth International Conference/Exhibition on. 1:530-532 vol.1 2000

Konferenz
91

Using CLP Simplifications to Improve Java Bytecode Termination Analysis
Spoto, Fausto ; Lu, Lunjin ; Mesnard, Fred
In Electronic Notes in Theoretical Computer Science 1 December 2009 253(5):129-144

Fachzeitschrift
92

PicoJava: a direct execution engine for Java bytecode
McGhan, H. ; O'Connor, M.
Computer. 31(10):22-30 Oct, 1998

Fachzeitschrift
93

A type system for Java bytecode subroutines
Stata, Raymie ; Abadi, Martín
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :149-160

Konferenz
94

Towards a General Framework for Formal Reasoning about Java Bytecode Transformation
Lounas, Razika ; Mezghiche, Mohamed ; Lanet, Jean-Louis
EPTCS 122, 2013, pp. 63-73

Computer Science - Logic... Computer Science - Progr...
Report
95

Decompilation of Java bytecode to Prolog by partial evaluation
Gómez-Zamalloa, Miguel ; Albert, Elvira ; Puebla, Germán
In Information and Software Technology 2009 51(10):1409-1427

Fachzeitschrift
96

Java Bytecode Normalization for Code Similarity Analysis
Schott, Stefan ; Ponta, Serena Elisa ; Fischer, Wolfram ; et al.

Bytecode Java Compiler Code Similarity Analysis
Fachzeitschrift
97

Translating c into java bytecode / ; C kalba parašytų programų transliavimas į Java JVM baitų kodą.
Nabiyev, Farrukh

C to Java compiler cheminformatics Crystallographic Informa... ANTLR Java bytecode ASM (Java library)
Dissertation
98

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
Gómez-Zamalloa, Miguel ; Albert, Elvira ; Puebla, Germán
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):85-101

Fachzeitschrift
99

Clone detection through process algebras and Java bytecode
Santone, Antonella
Proceedings of the 5th International Workshop on Software Clones. :73-74

Konferenz
100

Symbolic PathFinder : symbolic execution of Java bytecode
Păsăreanu, Corina S. ; Rungta, Neha
Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering. :179-180

Konferenz

Filter