Search Results - "Java bytecode"
-
1
Authors:
Contributors:
Source: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. :1857-1861
Subject Terms: Java Bytecode, Typestate Analysis, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Runtime Verification, Parametric Monitoring, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Runtime Verification Typestate Analysis Parametric Monitoring Instrumentation Java Bytecode Control Flow, Instrumentation, Control Flow, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
File Description: application/pdf
-
2
Authors: Nabiyev, Farrukh
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Source: TRITA-EECS-AVL.
Subject Terms: Software debloating, software dependencies, Java bytecode, package manager, static program analysis, dynamic program analysis, Datalogi, Computer Science
File Description: electronic
-
4
Authors: et al.
Contributors: et al.
Source: Behavioural Types ISBN: 9781003337331
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Java bytecode, static analysis, behavioral type system, deadlock analysis, program verification, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
5
Authors:
Source: Proceedings of the 6th Conference on Formal Methods in Software Engineering. :40-49
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, CIl, Java Bytecode, Static Analysis, 02 engineering and technology, Software
File Description: application/pdf
-
6
-
7
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783030995263
Wu, T, Schrammel, P & Cordeiro, L 2022, Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). in D Fisman & G Rosu (eds), Tools and Algorithms for the Construction and Analysis of Systems-28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. vol. 13244, Lecture Notes in Computer Science, Springer Nature, pp. 484-489. https://doi.org/10.1007/978-3-030-99527-0_36
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of SystemsSubject Terms: Software Verification, Java Bytecode, Witness Validation
-
8
Authors: et al.
Source: PLoS One
PLoS ONE, Vol 19, Iss 5 (2024)Subject Terms: FOS: Computer and information sciences, Code Clone Detection, Artificial intelligence, Science, Java bytecode, 02 engineering and technology, Machine Learning, Characterization and Detection of Android Malware, 0202 electrical engineering, electronic engineering, information engineering, Static Code Attributes, Abstract syntax tree, Source code, Bytecode, Parsing, Java applet, Source Code Analysis, Natural language processing, Java annotation, Computer science, Semantics, Programming language, Detection, Computer Science, Physical Sciences, Signal Processing, Medicine, Programming Languages, Software Reliability Modeling, Software Reliability Assessment and Prediction, Algorithms, Software, Java, Research Article, Empirical Studies in Software Engineering, Information Systems
-
9
Authors: et al.
Source: Companion to the first International Conference on the Art, Science and Engineering of Programming. :1-5
Subject Terms: Model Driven Engineering, Model Transformation, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
10
Authors: et al.
Source: Electronic Proceedings in Theoretical Computer Science, Vol 244, Iss Proc. MARS 2017, Pp 217-229 (2017)
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Java bytecode, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, UPPAAL, Software Engineering (cs.SE), Model Driven Engineering, Computer Science - Software Engineering, Metamodelling, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Model Transformaton, Programming Languages (cs.PL)
-
11
Authors: et al.
Source: IEEE Access, Vol 7, Pp 22421-22433 (2019)
Subject Terms: code similarities, Java bytecode, code clone detection, 0202 electrical engineering, electronic engineering, information engineering, Code clones, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, code sequence alignment, instruction block, TK1-9971
-
12
Authors:
Source: Information and Computation. 261:116-143
Subject Terms: program transformation, Analysis of algorithms and problem complexity, 0102 computer and information sciences, 02 engineering and technology, termination and resource analysis, AUTOMATED TERMINATION ANALYSIS, 01 natural sciences, Algorithmic information theory (Kolmogorov complexity, etc.), COMPILER, RESOURCE ANALYSIS, JAVA BYTECODE, term rewriting, Grammars and rewriting systems, 0202 electrical engineering, electronic engineering, information engineering, PROVING TERMINATION, automation
File Description: application/xml
-
13
Authors: Sävås, Jonas
Subject Terms: Code Coverage, Dependencies, Maven, Java Bytecode, Software Bloat, Kodtäckning, Mjukvaruberoenden, Java Bytekod, Uppsvälld programvara, Computer Sciences, Datavetenskap (datalogi), Software Engineering, Programvaruteknik
File Description: application/pdf
Relation: TRITA-EECS-EX; 2025:784
Availability: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-373597
-
14
Authors: et al.
Subject Terms: Java, Java Bytecode, Energy consumption
Relation: https://zenodo.org/records/15235055; oai:zenodo.org:15235055; https://doi.org/10.5281/zenodo.15235055
-
15
Authors: Nabiyev, Farrukh
Subject Terms: C to Java compiler, cheminformatics, Crystallographic Information File (CIF), ANTLR, Java bytecode, ASM (Java library), CIF parser, simulated memory model. C į Java kompiliatorius, cheminė informatika, Kristalografinės informacijos failas (CIF), Java baitinis kodas, ASM (Java biblioteka), CIF analizatorius, simuliuotas atminties modelis
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Source: RV 2020 - 20th International Conference on Runtime Verification ; https://inria.hal.science/hal-03081265 ; RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12
Subject Terms: Instrumentation, Runtime Verification, Monitoring, Java Bytecode, Aspect-Oriented Programming, Control Flow, Static and Dynamic Contexts, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Subject Geographic: Los Angeles, United States
-
17
Authors: Tomaž DOBRAVEC
Source: Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)
Subject Terms: Algorithm evaluation, Java bytecode counting, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
18
Authors:
Source: Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 9-28 (2018)
Subject Terms: итеративный динамичеcкий анализ программ, автоматический поиск ошибок, анализ java программ, software iterative dynamic analysis, automatic defect detection, java bytecode instrumentation, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
19
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642313646
Subject Terms: static analysis, Abstract interpretation, Reachability Analysis, pointer analysis, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, Static Analysis, Constraint-based Analysis, Abstract Interpretation, Java Bytecode, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 3. Good health
File Description: application/pdf
-
20
Authors:
Source: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science. :215-229
Subject Terms: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science
File Description: print
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder