Search Results - "Java program analysis"
-
1
Authors:
Source: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 23-38 (2018)
Subject Terms: динамический анализ программ, профилирование памяти, java, android, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
2
Authors: Zhu Yinfei
Source: International Journal of Advancements in Computing Technology. 4:468-477
-
3
Authors: et al.
Source: ACM SIGPLAN Notices. 41:153-168
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
4
-
5
-
6
-
7
Authors:
Source: International Journal of Networked and Distributed Computing (IJNDC), Vol 3, Iss 1 (2015)
Subject Terms: reference escape, program analysis, control flow, data flow, alias information, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
8
Authors: et al.
Source: Companion of the 21st annual ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications
Subject Terms: Technology and Engineering, Customized Program Analysis Tool, Aspect-Oriented Instrumentation, Java
File Description: application/pdf
Access URL: https://biblio.ugent.be/publication/374716/file/496473.pdf
https://biblio.ugent.be/publication/374716/file/496473.pdf
https://biblio.ugent.be/publication/374716
https://core.ac.uk/display/55683110
http://buytaert.net/files/oopsla06-abstract.pdf
https://dblp.uni-trier.de/db/conf/oopsla/oopsla2006c.html#BuytaertMEB06
https://dl.acm.org/doi/10.1145/1176617.1176657
https://biblio.ugent.be/publication/374716
http://doi.org/1854/10316
https://biblio.ugent.be/publication/374716/file/496473
http://hdl.handle.net/1854/LU-374716 -
9
Authors: et al.
Index Terms: Conference Paper., AM.
-
10
Authors: et al.
Source: 25th International Conference on Software Engineering, 2003. Proceedings.. :828-829
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access URL: https://ir.library.osaka-u.ac.jp/repo/ouka/all/51553/Software%20Engineering_2003_828.pdf
https://sel.ist.osaka-u.ac.jp/lab-db/betuzuri/archive/412/412.pdf
https://dl.acm.org/doi/10.5555/776816.776972
https://ir.library.osaka-u.ac.jp/repo/ouka/all/51553/Software%20Engineering_2003_828.pdf
https://dblp.uni-trier.de/db/conf/icse/icse2003.html#YokomoriIYMKI03
https://ir.library.osaka-u.ac.jp/repo/ouka/all/51553/
http://ir.library.osaka-u.ac.jp/dspace/handle/11094/51553 -
11
Authors: et al.
Contributors: et al.
Subject Terms: Oriented Instrumentation
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
13
Authors:
Source: Proceedings of the 37th annual Southeast regional conference (CD-ROM) ; page 14
-
14
Authors:
Contributors:
Source: Aachen : Fachgruppe Informatik, RWTH Aachen University, Aachener Informatik-Berichte 2013,16 223 S. : graph. Darst. (2015). = Zugl.: Aachen, Techn. Hochsch., Diss., 2015
Subject Terms: Informatik
-
15
Authors:
Source: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :224-228
Subject Terms: Java Pathfinder, Java program analysis, Software model checking
File Description: print
-
16
Source: Java Program Analysis Projects in Osaka University : Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J. :828-829
-
17
Authors:
Source: Software Engineering Research, Management and Applications ; Studies in Computational Intelligence ; page 99-111 ; ISSN 1860-949X 1860-9503 ; ISBN 9783319112640 9783319112657
-
18
Authors: et al.
Source: OOPSLA '06 : proceedings of the 21st annual ACM SIGPLAN conference on object-oriented programming languages, systems, and applications ; ISBN: 9781595933485
Subject Terms: Technology and Engineering, Aspect-Oriented Instrumentation, Customized Program Analysis Tool, Java
File Description: application/pdf
Relation: https://biblio.ugent.be/publication/374713; https://doi.org/10.1145/1167473.1167487; https://biblio.ugent.be/publication/374713/file/496470
-
19
Authors: et al.
Source: Electronic Notes in Theoretical Computer Science. 248:57-66
Subject Terms: Datalog, Java program analysis, 0202 electrical engineering, electronic engineering, information engineering, demand-driven evaluation, 0102 computer and information sciences, 02 engineering and technology, boolean equation system, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
20
Authors: et al.
Contributors: et al.
Subject Terms: Oriented Instrumentation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.5583; http://escher.elis.ugent.be/publ/Edocs/DOC/P106_207.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science