Search Results - a system for building Java program analysis tools*
-
1
Authors: Karimipour, Nima
Subject Terms: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis
File Description: application/pdf
-
2
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Oriented Instrumentation
File Description: application/pdf
-
4
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
-
5
Authors: et al.
Source: ACM SIGPLAN NOTICES ; ISSN: 0362-1340
Subject Terms: Technology and Engineering, as is the case in Java, Understanding the behavior of applications running on high-level language virtual machines, is non-trivial because of the tight entanglement at the lowest execution level between the application and the virtual machine. This paper proposes Javana, a system for building Java program analysis tools, Javana provides an easy-to-use instrumentation infrastructure that allows for building customized profiling tools very quickly. Javana runs a dynamic binary instrumentation tool underneath the virtual machine. The virtual machine communicates with the instrumentation layer through an event handling mechanism for building a vertical map that links low-level native instruction pointers and memory addresses to high-level language concepts such as objects, methods, threads, lines of code, etc. The dynamic binary instrumentation tool then intercepts all memory accesses and instructions executed and provides the Javana end user with high-level language information for all memory accesses and natively executed instructions, We demonstrate the power of Javana through a number of applications: memory address tracing, vertical cache simulation and object lifetime computation. For each of these applications, the instrumentation specification requires only a small number of lines of code. Developing similarly powerful profiling tools within a virtual machine (as done in current practice) is both time-consuming and error-prone, in addition, the accuracy of the obtained profiling results might be questionable as we show in this paper
-
6
Authors:
Resource Type: eBook.
Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
PDF Full Text ePub Full Text -
7
Authors:
Resource Type: eBook.
Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
PDF Full Text ePub Full Text -
8
Authors:
Source: Pakistan Veterinary Journal. 2025, Vol. 45 Issue 4, p1532-1542. 11p.
Subjects: Artificial intelligence, Zoonoses, Machine learning, Health equity, Public health, Public health surveillance, Epidemiological models
PDF Full Text -
9
Authors: Bhoyate, Shweta1 shweta.bhoyate@iccs.ac.in
Source: Journal of Advanced Zoology. 2024 Supplement, Vol. 45, p73-76. 4p.
PDF Full Text -
10
Authors:
Resource Type: eBook.
Subjects: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers
Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General
PDF Full Text ePub Full Text -
11
Authors:
Source: Sexes; Sep2025, Vol. 6 Issue 3, p32, 24p
Subject Terms: HIV, HEALTH information systems, POOR communities, PERSONAL identification numbers, SUB-Saharan Africans, STATISTICAL accuracy, HEALTH programs
Geographic Terms: SOUTH Africa, KENYA
-
12
Authors: et al.
Source: JMIR Pediatrics & Parenting; 2025, Vol. 8, p1-18, 18p
Subject Terms: INSTANT messaging software, NUTRITIONAL assessment, PUBLIC health, PRESCHOOL children, INDONESIANS, HEALTH programs
Geographic Terms: JAWA Barat (Indonesia), INDONESIA
-
13
Authors: et al.
Source: Journal of Environmental Health / Jurnal Kesehatan Lingkungan; Oct2025, Vol. 17 Issue 4, p304-312, 9p
-
14
Authors: et al.
Source: AIMS Public Health; 2025, Vol. 12 Issue 3, p1-26, 26p
Subject Terms: NON-communicable diseases, CHRONIC diseases, COMMUNITY-based programs, HEALTH promotion, INDONESIANS, PUBLIC health, SOCIOECONOMICS
Geographic Terms: INDONESIA
-
15
-
16
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3575. 21p.
HTML Full Text PDF Full Text -
17
Authors: et al.
Source: Open Veterinary Journal. 2025, Vol. 15 Issue 10, p5335-5345. 11p.
Subjects: Capsaicin, Aflatoxins, Bioinformatics, Mitogen-activated protein kinases, Molecular docking, Liver regeneration, Mice, Protein kinase B
PDF Full Text -
18
Authors:
Source: Asian Journal of Dairy & Food Research. 2025 Special Issue, Vol. 44, p182-187. 6p.
PDF Full Text -
19
Authors: et al.
Source: Water (20734441); Jan2026, Vol. 18 Issue 1, p2, 23p
-
20
Authors: et al.
Source: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.
Subjects: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes
PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text