Search Results - (( ((programmes OR programyes) OR programyes) java ) OR ( (programm OR program) java ))*

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

Gleipner: A benchmark for gadget chain detection in Java Deserialization Vulnerabilities

Authors: Kreyssig, Bruno Bartel, Alexandre

Source: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21

Subject Terms: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Authors: Abbasi, Rosa Schiffl, Jonas Darulova, Eva et al.

Source: International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY. 25(2):185-204

Subject Terms: Deductive verification, Floating-point arithmetic, Transcendental functions

File Description: electronic

Access URL: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

A journey among Java neutral program variants

Authors: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino et al.

Source: Genetic Programming and Evolvable Machines. 20(4):531-580

Subject Terms: Neutral program variant, Program transformation, Java, Code plasticity

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

Evaluasi Strategi Komunikasi Pemasaran pada Program Java Ballon Attraction 2022 oleh Dinas Pariwisata dan Kebudayaan Kabupaten Wonosobo

Authors: Anggit Dwi Wicakso Noveri Faikar Urfan

Source: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

Contributors: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

Efficient execution of Java programs on GPU

Authors: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Contributors: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Source: urn:tid:203253558

Subject Terms: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

File Description: application/pdf

Availability: https://hdl.handle.net/1822/84091

Automatic Generation of Contracts for Concurrent Java Programs

Authors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Contributors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Subject Terms: paper, national, rank-X, rline-vvcs

File Description: application/pdf

Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597

Availability: http://hdl.handle.net/10362/162732

PERANCANGAN SISTEM PENILAIAN OTOMATIS PROGRAM JAVA BERBASIS WEB PADA PERKULIAHAN PEMROGRAMAN

Authors: Ade Sukendar

Source: Device. 13:216-222

Coverage-Based Debloating for Java Bytecode

Authors: Soto Valero, César Durieux, Thomas Harrand, Nicolas et al.

Source: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Subject Terms: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948

Applying temporal chunk signals analysis to measure programming competence by the transcription of Java program code

Authors: Albehaijan, Noorah Abdullah

Subject Terms: QA0076.6 Programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair

Authors: Silva, Andre Fang, Sen Monperrus, Martin

Source: IEEE Transactions on Software Engineering. 51(8):2366-2380

Subject Terms: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368761
https://doi.org/10.1109/TSE.2025.3581062

A Study of Java Answer Code Validation Program and JavaScript Code Modification Problems

Authors: KHAING HSU WAI,

File Description: application/pdf

Access URL: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699

Degree: 博士（工学） -- 岡山大学

Acceptability of Iron Supplementation Program at Islamic Boarding Schools in East Java Indonesia.

Authors: Yoto, Mohamad Devy, Shrimarti Rukmini Notobroto, Hari Basuki et al.

Source: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p

Deductive Verification of Floating-Point Java Programs in KeY

Authors: Abbasi, Rosa Schiffl, Jonas Darulova, Eva et al.

Source: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Virtual, Online Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12652 LNCS:242-261

Subject Terms: Floating-point Arithmetic, Transcendental Functions, Deductive Verification

File Description: electronic

Access URL: https://research.chalmers.se/publication/531569
https://research.chalmers.se/publication/531569/file/531569_Fulltext.pdf

Java stream optimization through program fusion

Authors: Ribeiro, Francisco José Torres Saraiva, João Pereira, Rui Alexandre Afonso et al.

Contributors: Ribeiro, Francisco José Torres Saraiva, João Pereira, Rui Alexandre Afonso et al.

Source: urn:tid:202192270

File Description: application/pdf

Availability: https://hdl.handle.net/1822/59688

IMPLEMENTASI PROGRAM JAVA DAN METODE NUMERIK DALAM MENGATASI KESULITAN PEMBELAJARAN MATEMATIKA

Authors: Yuni Sugiarti

Source: Jurnal Teknodik. :456-469

Static Analysis for Data-race detection in Java

Authors: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Contributors: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Subject Terms: program analysis, points-to analysis, static analysis, data race, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

File Description: application/pdf

Availability: http://hdl.handle.net/10362/176239

Gallibacterium anatis Emerging in Indonesia: Isolation and Molecular Characterization From Chickens in a West Java Poultry Farm.

Authors: Amaliah, Alya Mayasari, Ni Luh Putu Ika Kurnia, Ryan Septa et al.

Source: Veterinary Medicine International. 2/24/2026, Vol. 2026, p1-7. 7p.

Subjects: Chickens, Molecular diagnosis, Poultry farms, Indonesians, Microbial virulence genetics, Agricultural egg production, Respiratory diseases, Bacteria

Geographic Terms: Jawa Barat (Indonesia), Indonesia

Type-based protocol conformance and aliasing control in concurrent java programs

Authors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Contributors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

File Description: application/pdf

Availability: http://hdl.handle.net/10362/8476