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 101 - 120 von 2.971

101

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
102

A type system for object initialization in the Java bytecode language
Freund, Stephen N. ; Mitchell, John C.
ACM Transactions on Programming Languages and Systems (TOPLAS). 21(6):1196-1250

Fachzeitschrift
103

Type elaboration and subtype completion for Java bytecode
Knoblock, Todd B. ; Rehof, Jakob
ACM Transactions on Programming Languages and Systems (TOPLAS). 23(2):243-272

Fachzeitschrift
104

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

Fachzeitschrift
105

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
106

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

Bytecode Java Compiler Code Similarity Analysis
Fachzeitschrift
107

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
108

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
109

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

Konferenz
110

A type system for Java bytecode subroutines
Stata, Raymie ; Abadi, Martin
ACM Transactions on Programming Languages and Systems (TOPLAS). 21(1):90-137

Fachzeitschrift
111

Symbolic PathFinder : symbolic execution of Java bytecode
Păsăreanu, Corina S. ; Rungta, Neha
Proceedings of the IEEE/ACM international conference on Automated software engineering. :179-180

Konferenz
112

Reducing stack usage in Java bytecode execution
Munsil, Wes ; Wang, Chia-Jiu
ACM SIGARCH Computer Architecture News. 26(1):7-11

Fachzeitschrift
113

Experiments with Non-Termination Analysis for Java Bytecode
Payet, Étienne ; Spoto, Fausto
In Electronic Notes in Theoretical Computer Science 1 December 2009 253(5):83-96

Fachzeitschrift
114

Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments
Saougkos, Dimitris ; Manis, George ; Blekas, Konstantinos ; et al.
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 33(7):478-495 Jul, 2007

Fachzeitschrift
115

Experiments in Cost Analysis of Java Bytecode
Albert, E. ; Arenas, P. ; Genaim, S. ; et al.
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):67-83

Fachzeitschrift
116

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
Méndez, Mario ; Navas, Jorge ; Hermenegildo, Manuel V.
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):51-66

Fachzeitschrift
117

A Dozen Instructions Make Java Bytecode
Chrząszcz, Jacek ; Czarnik, Patryk ; Schubert, Aleksy
In Electronic Notes in Theoretical Computer Science 25 February 2011 264(4):19-34

Fachzeitschrift
118

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
Fenacci, Damon ; MacKenzie, Kenneth
In Electronic Notes in Theoretical Computer Science 2 December 2011 279(1):19-32

Fachzeitschrift
120

Java Bytecode Normalization for Code Similarity Analysis (Artifact)
Schott, Stefan ; orcid:0000-0002-0644- ; Ponta, Serena Elisa ; et al.

Konferenz

Filter