Search Results - a systems for building java program analysis tools*

Towards Practical and Automated Type-Based Program Analysis in Java

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

Access URL: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

Building Java program analysis tools using Javana

Authors: Buytaert, Dries Maebe, Jonas Eeckhout, Lieven 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
http://doi.org/1854/10316
https://biblio.ugent.be/publication/374716/file/496473
http://hdl.handle.net/1854/LU-374716

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Arie Gurfinkel Marijn Heule

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

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Bernd Finkbeiner Laura Kovács

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

The Role of Artificial Intelligence in Combating Zoonotic and Public Health Infectious Diseases: A One Health Perspective on Challenges and Future Directions.

Authors: Almuzaini, Abdulaziz M. Alajaji, Ahmed I.

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

Analysis Of Android Programming Languages Based On Several Factors.

Authors: Bhoyate, Shweta¹ shweta.bhoyate@iccs.ac.in

Source: Journal of Advanced Zoology. 2024 Supplement, Vol. 45, p73-76. 4p.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

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

Tracking HIV Outcomes Among Key Populations in the Routine Health Information Management System: A Systematic Review.

Authors: Rampilo, Mashudu Phalane, Edith Phaswana-Mafuya, Refilwe Nancy

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

Analysis of Potential Food Security Index: A Case Study Development in Bogor Regency Indonesia.

Authors: Firdaus, Fahmi Iqbal Hendrix, Tommy Indrayani, Parlupi et al.

Source: Journal of Nutrition & Food Security; Feb2026, Vol. 11 Issue 1, p142-155, 14p

Using WhatsApp for Nutrition Surveillance Among Children Under 5 Years in West Java, Indonesia: Cross-Sectional Survey and Feasibility Study.

Authors: Aisyah, Dewi Nur Mayadewi, Chyntia Aryanti Utami, Astri 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

SPATIAL ANALYSIS OF MICROBIOLOGICAL CONTAMINANTS BASED ON SANITARY HYGIENE OF DRINKING WATER DEPOTS IN TANGERANG CITY IN 2024.

Authors: Nurhikmah, Nadya Humairo, Mika Vernicia Nurany, Hanung et al.

Source: Journal of Environmental Health / Jurnal Kesehatan Lingkungan; Oct2025, Vol. 17 Issue 4, p304-312, 9p

Subject Terms: HYGIENE, DRINKING water, GEOGRAPHIC information systems, CITIES & towns, PUBLIC health, GEOGRAPHIC spatial analysis, MICROBIAL contamination

Challenges in implementing Indonesia's community-based chronic disease management program (Prolanis): A scoping review.

Authors: Febriyanti, Raden M. Irawan, Aalbrecht Alby Anggriani, Nursanti 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

Evaluating the Impact of Indonesia's National School Feeding Program (ProGAS) on Children's Nutrition and Learning Environment: A Mixed-Methods Approach.

Authors: Pramesthi, Indriya Laras Wiradnyani, Luh Ade Ari Anggraini, Roselynne et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3575. 21p.

Silico study: Hepatoprotective effects of capsaicin on the liver of aflatoxin B1-intoxicated mice (Mus musculus).

Authors: Sukmanadi, Mohammad Sudjarwo, Sri Agus Effendi, Mustofa Helmi 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

Forecast Analysis of Corn and Cassava Production in North Sumatra Province, Indonesia.

Authors: Rahmanta Nasution, Siti Khadijah Hidayati Warsito, Edi

Source: Asian Journal of Dairy & Food Research. 2025 Special Issue, Vol. 44, p182-187. 6p.

Enhancing Real-Time Hydrological Simulation with IoT-Based Model Representation and Observation Data.

Authors: Yan, Hanhui Zhang, Mingda Tian, Siyi et al.

Source: Water (20734441); Jan2026, Vol. 18 Issue 1, p2, 23p

Subject Terms: HYDROLOGIC models, INTERNET of things, ACQUISITION of data, DYNAMIC simulation, APPLICATION program interfaces, OBJECT-oriented programming

Comparison of Required Competences and Task Material in Modeling Education.

Authors: Soyka, Chantal Ullrich, Meike Striewe, Michael 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

CORPORATE SOCIAL RESPONSIBILITY (CSR) STRATEGY IN THE OIL AND GAS SECTOR: INSIGHTS FROM PT MIGAS HULU JABAR OFFSHORE NORTH WEST JAVA (PT MUJ ONWJ).

Authors: Ubaydillah Suhendi Sari, Linda Karina

Source: Business Review & Case Studies; Dec2025, Vol. 6 Issue 3, p385-397, 13p

Epidemiology of Gastrointestinal Parasites in Beef Cattle at Baluran National Park Interface Area: Prevalence and Risk Factors.

Authors: Indrasanti, D. Subrata, S. A. Artama, W. T.

Source: Tropical Animal Science Journal. Mar2026, Vol. 49 Issue 2, p133-140. 8p.

A Review on Ecological and Environmental Impacts of Pumped Hydro Storage Based on CiteSpace Analysis.

Authors: Yin, Hailong Zhao, Xuhong Chen, Meixuan et al.

Source: Water (20734441); Sep2025, Vol. 17 Issue 18, p2752, 24p

Subject Terms: ECOLOGICAL impact, BIBLIOMETRICS, ENERGY storage, MULTI-objective optimization, RENEWABLE energy sources, PRODUCT life cycle assessment

Geographic Terms: CHINA