Search Results - (( (programmes OR program) java ) OR ( ((programm OR programm) OR program) java ))*
-
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
Authors:
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
-
3
Authors: 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
-
4
Authors: 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
-
5
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
-
6
Authors:
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
-
7
Authors:
Source: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215
-
8
Authors: et al.
Contributors: 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
-
9
Authors:
Contributors:
Source: urn:tid:203253558
File Description: application/pdf
Availability: https://hdl.handle.net/1822/84091
-
10
Authors: Ade Sukendar
Source: Device. 13:216-222
-
11
Authors: Albehaijan, Noorah Abdullah
Subject Terms: QA0076.6 Programming
-
12
Authors: 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
-
13
Authors: et al.
Source: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p
-
14
Authors: Hans-Peter Habelitz
Resource Type: eBook.
Subjects: Java (Computer program language)
Categories: COMPUTERS / Languages / JavaScript
-
15
-
16
Authors: ALBA CASTRO, MAURICIO FERNANDO
Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago
Source: Riunet
Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Access URL: http://hdl.handle.net/10251/13617
-
17
Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago
Source: Riunet
Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Access URL: http://hdl.handle.net/10251/13617
-
18
Authors:
Resource Type: eBook.
Subjects: Traffic engineering--Data processing, Traffic flow--Computer simulation, Choice of transportation--Forecasting--Computer programs, Multiagent systems, Transportation--Planning--Computer programs, Urban transportation--Computer simulation
Categories: TECHNOLOGY & ENGINEERING / Civil / Transportation, COMPUTERS / Data Science / Data Modeling & Design
PDF Full Text ePub Full Text -
19
Authors: et al.
Source: IEEE Transactions on Dependable and Secure Computing. 20(4):2794-2810
Subject Terms: automatic program repair, Codes, Computer bugs, Java, Maintenance engineering, metaprogramming, Software development management, Static analysis, Static code analysis, Syntactics, Codes (symbols), Computer software, Java programming language, Program debugging, Repair, Software design, Trees (mathematics), Automatic programs, Code, Meta Programming, Static analyzers, Static codes
File Description: print
-
20
Authors: 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
HTML Full Text PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder