Search Results - (( (programas OR programy) java ) 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

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: 博士（工学） -- 岡山大学

Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java

Authors: Ramirez Deantes, Diana

Thesis Advisors: Puebla Sánchez, Alvaro Germán

Subject Terms: Informática

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

Statická analýza datových toků pro programy v jazyce Java

Static data flow analysis for Java programs

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

Priority setting in HIV/AIDS control in West Java Indonesia : an evaluation based on the accountability for reasonableness framework

Authors: Tromp, Noor Prawiranegara, Rozar Riparev, Harris Subhan et al.

Source: Health Policy and Planning, 2015 Apr 01. 30(3), 345-355.

Access URL: https://www.jstor.org/stable/48508549

Geração de propriedades sobre programas Java a partir de objetivos de teste

Generation of Java program properties from test purposes

Authors: Hanazumi, Simone

Thesis Advisors: Melo, Ana Cristina Vieira de

Subject Terms: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal

File Description: application/pdf

Availability: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

Geração de propriedades sobre programas Java a partir de objetivos de teste

Generation of Java program properties from test purposes

Authors: Simone Hanazumi

Thesis Advisors: Ana Cristina Vieira de Melo, Patricia Duarte de Lima Machado, Ricardo Luis de Azevedo da Rocha, Valdivino Alexandre Santiago Junior, Flavio Soares Correa da Silva

Source: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Subject Terms: Especificação de programas, Java, Objetivos de teste, Verificação formal, Formal verification, Program specification, Test purposes

Availability: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

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

Scenario-based actions to upgrade small-scale furniture producers and their impacts on women in Central Java, Indonesia

Authors: PURNOMO, H. IRAWATI, R.H. FAUZAN, A.U. et al.

Source: The International Forestry Review, 2011 Jan 01. 13(2), 152-162.

Access URL: https://www.jstor.org/stable/24310665

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

Javaプログラミング v.2

Authors: ハーベイ・M.ダイテル, ポール・J.ダイテル 著 小嶋隆一 訳

Source: v.2

Subject Terms: プログラミング (コンピュータ), データ伝送, 通信網

File Description: image/jp2

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

The Effectiveness of the Peer Empowerment Program: A School-Based Intervention in Adolescents.

Alternate Title: La eficacia del programa de empoderamiento entre pares: una intervención escolar en adolescentes. (Spanish)

Authors: Rachmawati, Praba Diyan Krisnana, Ilya Kurnia, Iqlima Dwi et al.

Source: Gaceta Médica de Caracas; 2026 Supplement, Vol. 134, pS60-S67, 8p

ANÁLISIS SEMÁNTICO DE PROGRAMAS ESCRITOS EN JAVA. (Spanish)

Alternate Title: SEMANTIC ANALYSIS OF PROGRAMS WRITTEN IN JAVA. (English)

Authors: Díz, Luis Gajardo Brule, Luis Mateu

Source: Theoría: Ciencia, Arte y Humanidades; 2004, Vol. 13, p39-49, 11p

Subject Terms: OBJECT-oriented programming, PROGRAMMING languages, COMPUTER software development, JAVA programming language, COMPILERS (Computer programs), SOURCE code

A web-based psychoeducational programme for trauma-related symptoms in Indonesian undergraduate students: a pilot randomized controlled trial.

Alternate Title: Un programa psicoeducativo basado en la web para síntomas relacionados con trauma en estudiantes universitarios indonesios: un ensayo piloto controlado aleatorizado. (Spanish)

Authors: Primasari, Indira Hoeboer, Chris M. Sijbrandij, Marit et al.

Source: European Journal of Psychotraumatology; Dec2025, Vol. 16 Issue 1, p1-17, 17p

Subject Terms: HEALTH literacy, PSYCHOEDUCATION, RANDOMIZED controlled trials, FEASIBILITY studies, EMOTIONAL trauma, INDONESIANS

Geographic Terms: INDONESIA

Determinants on the Effectiveness of the Non-Formal Education for Vulnerable Women Health programs During the Covid19 Pandemic in West Java Using the PDCL Model.

Authors: PRARATYA, ATALIA DIDA, SUSANNE SUGIANA, DADANG et al.

Source: International Journal of Pharmaceutical Research (09752366); Apr-Jun2021, Vol. 13 Issue 2, p571-577, 7p

Subject Terms: HEALTH programs, COVID-19 pandemic, DATA analysis, BRAND equity, NONFORMAL education

Automatic Construction of Java Programs from Functional Program Specifications

Authors: Md. Humayun

Source: International Journal of Advanced Computer Science and Applications. 6

Subject Terms: Executable, 0211 other engineering and technologies, 02 engineering and technology, Java concurrency, Theoretical computer science, Scala, Artificial Intelligence, Programming Language Semantics, Parallel Computing and Performance Optimization, 0202 electrical engineering, electronic engineering, information engineering, Java applet, 2. Zero hunger, Java annotation, 4. Education, Computer science, Programming language, Computational Theory and Mathematics, Hardware and Architecture, Generics in Java, Computer Science, Physical Sciences, strictfp, Real time Java, Java Modeling Language, Program Analysis and Verification Techniques, Java, Formal Methods in Software Verification and Control

Access URL: http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf

Visualizador de programas Java concurrentes

Authors: Mariño Carballo, Julio Peña Martínez, Víctor de la

Index Terms: Informática, info:eu-repo/semantics/bachelorThesis

Abstract Certification of Java Programs in Rewriting Logic

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

Testiranje konkurentnih transakcija u Oracle bazi podataka pomoću Java paralelnog programiranja

Authors: Sirotić, Zlatko Sovilj, Siniša Sinković, Giorgio et al.

Contributors: Sirotić, Zlatko Sovilj, Siniša Sinković, Giorgio et al.

Subject Terms: Informatics, modern programming techniques database business rules, database business rules, DRUŠTVENE ZNANOSTI. Informacijske i komunikacijske znanosti. Informacijski sustavi i informatologija, transakcije u bazama podataka, testiranje konkurentnih transakcija pomoću Java paralelnih programa, Java parallel programming, testing of concurrent transactions using Java parallel programs, poslovna pravila u bazama podataka, Java paralelno programiranje, informatika, poslovna pravila u bazama podataka, transakcije u bazama podataka, Java paralelno programiranje, testiranje konkurentnih transakcija pomoću Java paralelnih programa, suvremene tehnike programiranja, SOCIAL SCIENCES. Information and Communication Sciences. Information Systems and Information Science, database transactions

File Description: application/pdf

Access URL: https://www.bib.irb.hr/1110339
https://repozitorij.unipu.hr/islandora/object/unipu:5737
https://urn.nsk.hr/urn:nbn:hr:137:881506
https://repozitorij.unipu.hr/islandora/object/unipu:5737/datastream/PDF
https://repozitorij.unipu.hr/islandora/object/unipu:5737
https://urn.nsk.hr/urn:nbn:hr:137:881506

Abstract Certification of Java Programs in Rewriting Logic

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