Suchergebnisse - (( ((programmes OR programyes) OR programyes) java ) OR ( (programy OR program) java ))*

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

Autoren: Kreyssig, Bruno Bartel, Alexandre

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

Schlagwörter: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

Dateibeschreibung: electronic

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

Towards Practical and Automated Type-Based Program Analysis in Java

Autoren: Karimipour, Nima

Schlagwörter: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

Dateibeschreibung: application/pdf

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

Efficient execution of Java programs on GPU

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

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

Quelle: urn:tid:203253558

Schlagwörter: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/84091

Automatic Generation of Contracts for Concurrent Java Programs

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

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

Schlagwörter: paper, national, rank-X, rline-vvcs

Dateibeschreibung: 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

Verfügbarkeit: http://hdl.handle.net/10362/162732

Coverage-Based Debloating for Java Bytecode

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

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

Schlagwörter: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

Dateibeschreibung: electronic

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

Java stream optimization through program fusion

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

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

Quelle: urn:tid:202192270

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/59688

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

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

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

Schlagwörter: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10362/8476

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

Autoren: KHAING HSU WAI,

Dateibeschreibung: application/pdf

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

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

Comparing Metaheuristic Algorithms for Error Detection in Java Programs

Autoren: Chicano, Francisco Ferreira, Marco Alba, Enrique et al.

Weitere Verfasser: Chicano, Francisco Ferreira, Marco Alba, Enrique et al.

Dateibeschreibung: application/pdf

Relation: 9783642237157; 9783642237164; 0302-9743; 1611-3349

Verfügbarkeit: http://hdl.handle.net/10400.8/14695

Aspect-oriented refactoring of Java programs

Autoren: Monteiro, Miguel P. Fernandes, João M. Universidade do Minho

Weitere Verfasser: Monteiro, Miguel P. Fernandes, João M. Universidade do Minho

Dateibeschreibung: application/pdf

Relation: 978-0980733082

Verfügbarkeit: https://hdl.handle.net/1822/16345

Static Analysis for Data-race detection in Java

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10362/176239

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

Autoren: Silva, Andre Fang, Sen Monperrus, Martin

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

Schlagwörter: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

Dateibeschreibung: print

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

The use of Java in large scientific applications in HPC environments

Autoren: Fries, Aidan

Weitere Verfasser: 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

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/98405

Jask: Generation of questions about learners’ code in Java

Autoren: Santos, A. L. Soares, T. Garrido, N. et al.

Schlagwörter: Question generation, Automatic assessment, Program comprehension, Self-explanation

Dateibeschreibung: application/pdf

Relation: 978-1-4503-9201-3

Verfügbarkeit: http://hdl.handle.net/10071/32036

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

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

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

Schlagwörter: Deductive verification, Floating-point arithmetic, Transcendental functions

Dateibeschreibung: electronic

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

Abstract Certification of Java Programs in Rewriting Logic

Autoren: ALBA CASTRO, MAURICIO FERNANDO

Weitere Verfasser: 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

Quelle: Riunet

Schlagwörter: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Zugangs-URL: http://hdl.handle.net/10251/13617

Abstract Certification of Java Programs in Rewriting Logic

Weitere Verfasser: 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

Quelle: Riunet

Schlagwörter: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Zugangs-URL: http://hdl.handle.net/10251/13617

Illustration of Java execution errors for beginner programmers

Autoren: Sousa, Diogo Alexandre Rodrigues de

Schlagwörter: 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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10071/22016

Functionality and Expression in Computer Programs: Refining the Tests for Software Copyright Infringement

Autoren: Samuelson, Pamela

Quelle: Berkeley Technology Law Journal, 2016 Jan 01. 31(2), 1215-1300.

Zugangs-URL: https://www.jstor.org/stable/26381953

A journey among Java neutral program variants

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

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

Schlagwörter: Neutral program variant, Program transformation, Java, Code plasticity

Dateibeschreibung: print

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