Search Results - ((programmes OR programmes) OR program) java~
-
1
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
-
2
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
-
3
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
-
4
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
-
5
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
-
6
Authors:
Source: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215
-
7
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
-
8
Authors:
Contributors:
Source: urn:tid:203253558
File Description: application/pdf
Availability: https://hdl.handle.net/1822/84091
-
9
Authors: Ade Sukendar
Source: Device. 13:216-222
-
10
Authors: Albehaijan, Noorah Abdullah
Subject Terms: QA0076.6 Programming
-
11
Authors: James J. Brown, Jr
Resource Type: eBook.
Subjects: Freedom of information, Databases--Social aspects, Internet--Moral and ethical aspects, Computer software--Social aspects
Categories: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Media Studies
PDF Full Text ePub Full Text -
12
Authors: et al.
Contributors: et al.
Source: urn:tid:202192270
File Description: application/pdf
Availability: https://hdl.handle.net/1822/59688
-
13
Authors: et al.
Source: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p
-
14
Authors: 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
-
15
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types
File Description: application/pdf
Availability: http://hdl.handle.net/10362/8476
-
17
Authors: Yuni Sugiarti
Source: Jurnal Teknodik. :456-469
-
18
Source: Journal of Educational Technology & Society, 2013 Jul 01. 16(3), 400-410.
-
19
Authors: et al.
Contributors: et al.
File Description: application/pdf
Relation: 9783642237157; 9783642237164; 0302-9743; 1611-3349
Availability: http://hdl.handle.net/10400.8/14695
-
20
Authors: et al.
Source: Journal of Systems and Software. 211
Subject Terms: Program analysis, Debugging, Property probes, CodeProber
File Description: electronic
Full Text Finder 
Nájsť tento článok vo Web of Science