Search Results - Java Bytecode Analysis*
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode
File Description: application/pdf
-
3
Authors: et al.
Index Terms: Bytecode, Java Compiler, Code Similarity Analysis, InProceedings, Text, doc-type:ResearchArticle, publishedVersion
URL:
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.37
Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024) -
4
Authors: et al.
Index Terms: Bytecode, Java Compiler, Code Similarity Analysis, Article, Text, doc-type:ResearchArticle, publishedVersion
URL:
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.20
Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024) -
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
-
8
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Evolutionary testing
File Description: application/pdf
Relation: 85-766-0119-1
Availability: http://hdl.handle.net/10400.8/134
-
10
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 9:867-893
-
11
Authors:
Source: Conference of the South African Institute of Computer Scientists and Information Technologists 2020. :217-226
-
12
Authors:
Source: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | 31 March 2007 | Braga, Portugal
Archivo Digital UPM
instnameSubject Terms: Informática, multivariance, static analysis, Fixpoint algorithm, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)
File Description: application/pdf
Access URL: https://oa.upm.es/14606/
-
13
Authors: et al.
Contributors: et al.
Source: Electronic Notes in Theoretical Computer Science. 253:129-144
Subject Terms: termination, Static analysis, abstract interpretation, termination analysis, Java, constraint logic programming, static analysis, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Theoretical Computer Science, Computer Science(all)
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: Electronic Notes in Theoretical Computer Science. 253:83-96
Subject Terms: termination, static analysis, Static analysis, abstract Interpretation, non-termination analysis, termination analysis, Java bytecode, non-termination, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Java, Theoretical Computer Science, Computer Science(all)
File Description: application/pdf
-
15
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 16-31 (2019)
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)
-
16
Authors:
Source: Electronic Notes in Theoretical Computer Science. 279:19-32
Subject Terms: Resource analysis, Separation Logic, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, JVM, 01 natural sciences, Java, Bytecode, Amortisation, Theoretical Computer Science, Computer Science(all)
-
17
Authors: et al.
Source: Electronic Notes in Theoretical Computer Science. 190:67-83
Subject Terms: cost relations, Java bytecode, Cost analysis, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, complexity, recurrence equations, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
18
Authors:
Source: Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation. :211-222
-
19
Authors:
Contributors:
Source: Higher-Order and Symbolic Computation. 23:29-86
Subject Terms: denotational semantics Java byte-code, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, Magic-sets, abstract interpretation, static analysis, denotational semantics, [MATH] Mathematics [math], 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, magic-sets, 0202 electrical engineering, electronic engineering, information engineering
File Description: application/pdf; application/xml
Access URL: https://hal.univ-reunion.fr/hal-01186160/file/Magic_sets_for_localised_analysis_of_java_bytecode.pdf
https://hal.univ-reunion.fr/hal-01186160v1/document
https://hal.univ-reunion.fr/hal-01186160v1
https://doi.org/10.1007/s10990-010-9063-7
https://hdl.handle.net/11562/341536
https://doi.org/10.1007/s10990-010-9063-7 -
20
Authors:
Source: Electronic Notes in Theoretical Computer Science | Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009) | 29th March 2009 | York, UK
Archivo Digital UPM
instname
Universidad Politécnica de MadridSubject Terms: Informática, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, resource usage, Static analysis, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
File Description: application/pdf
Access URL: https://oa.upm.es/14593/
Nájsť tento článok vo Web of Science 
Full Text Finder