Search Results - (( programy java ) OR ( program java ))*
-
1
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
-
2
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
-
3
Authors:
Contributors:
Source: urn:tid:203253558
File Description: application/pdf
Availability: https://hdl.handle.net/1822/84091
-
4
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
-
5
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
-
6
Authors: et al.
Contributors: et al.
Source: urn:tid:202192270
File Description: application/pdf
Availability: https://hdl.handle.net/1822/59688
-
7
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
-
8
-
9
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
-
10
Authors:
Contributors:
File Description: application/pdf
Relation: 978-0980733082
Availability: https://hdl.handle.net/1822/16345
-
11
Authors: et al.
Contributors: 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
-
12
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
-
13
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
-
14
Authors: et al.
Subject Terms: Question generation, Automatic assessment, Program comprehension, Self-explanation
File Description: application/pdf
Relation: 978-1-4503-9201-3
Availability: http://hdl.handle.net/10071/32036
-
15
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
-
16
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
Authors: Sousa, Diogo Alexandre Rodrigues de
Subject Terms: Variable roles, Execution errors, Pedagogical programming tools, Program visualization, Papéis das variáveis, Erros de execução, Ferramentas de programação pedagógicas, Visualização de programas
File Description: application/pdf
Availability: http://hdl.handle.net/10071/22016
-
18
Authors: Samuelson, Pamela
Source: Berkeley Technology Law Journal, 2016 Jan 01. 31(2), 1215-1300.
Access URL: https://www.jstor.org/stable/26381953
-
19
Authors: Mečiar, Martin
Thesis Advisors: Zavoral, Filip, Kofroň, Jan
Subject Terms: Java, statická analýza, static analysis, bytecode, datový tok, data flow
Availability: http://www.nusl.cz/ntk/nusl-406288
-
20
Authors: et al.
Source: 林業経済研究 / Journal of Forest Economics. 2009, 55(2):1
Nájsť tento článok vo Web of Science 
Full Text Finder