Search Results - (( ((programmes OR (programy OR programy)) OR program) java ) OR ( program java ))

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

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

ModiChecker: Accessibility Excessiveness Analysis Tool for Java Program

Authors: Dotri Quoc Katsuro Inoue Kazuo Kobori et al.

Source: Information and Media Technologies. 2012, 7(4):1401

Design Of Understanding Cost Calculation Tool for Static Java Program Structure / 静的なJavaプログラムを対象とした構造の理解コスト計量ツールの設計

Authors: Takahisa Baba Tetsuro Kakeshita 掛下 哲郎 et al.

Source: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2004, :641

An Understanding Cost Calculation Tool for Static Java Program / 静的なJavaプログラムを対象とした理解コスト計量ツール

Authors: Takahisa Baba Tetsuro Kakeshita 掛下 哲郎 et al.

Source: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2005, :498

Sperm Sizer : a program to semi-automate the measurement of sperm length

Authors: McDiarmid, Callum S. Li, Roger Kahrl, Ariel F. et al.

Source: Behavioral Ecology and Sociobiology, 2021 May 01. 75(5), 1-8.

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

Project Development for Blood Bank Application and Convertor for Software Testing

Authors: Rosziati Ibrahim Mizani Mohamad Madon Zhiang Yue Lee et al.

Source: International Society for Technology, Education, and Science. 2023.

Peer Reviewed: Y

Page Count: 12

Descriptors: Program Administration, Educational Technology, Computer Software, Testing, Programming, Programming Languages, Computer Science Education, Computer Oriented Programs, Reliability, Databases

Applying temporal chunk signals analysis to measure programming competence by the transcription of Java program code

Authors: Albehaijan, Noorah Abdullah

Subject Terms: QA0076.6 Programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236

Java Virtual Machine - Memory-Constrained Copying: Part 1: Main report

Authors: Amundsen, Kai Kristian Natvig, Lasse Haaker, Morten et al.

Contributors: Amundsen, Kai Kristian Natvig, Lasse Haaker, Morten et al.

Availability: http://hdl.handle.net/11250/250898

Java Program Design : Principles, Polymorphism, and Patterns

Authors: Edward Sciore

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / Java

CodeTranFix: A Neural Machine Translation Approach for Context-Aware Java Program Repair with CodeBERT

Authors: Yiwei Lu Shuxia Ye Liang Qi

Source: Applied Sciences, Vol 15, Iss 7, p 3632 (2025)

Subject Terms: automated program repair (APR), neural machine translation (NMT), context-aware patch generation, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/7/3632; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/16b1494334b748a0b2e0208d5ddee76e

The Guardian: Microsoft loses Java case: Software group told to stop tweaking rival's program for Windows '98

Authors: By:MARK TRAN IN NEW YORK

Source: Guardian, The (London, England), November 19, 1998, 2pp

Monash campus runs Java program

Authors: By:DIANA THORP

Source: Australian, The (Australia), September 22, 1999 Features 1, p. 031 1pp

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

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

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

Classification-based Static Collection Selection for Java: Effectiveness and Adaptability

Authors: Couderc, Noric Reichenbach, Christoph Söderberg, Emma et al.

Contributors: Couderc, Noric Reichenbach, Christoph Söderberg, Emma et al.

Source: EASE '23: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023.

Subject Terms: Natural Sciences, Computer and Information Sciences, Software Engineering, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik

Access URL: https://doi.org/10.1145/3593434.3593469

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

The program is the model: Enabling transformations@run.time

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)

Source: Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science. Volumen 7745. Springer, 2013. 104-123
978-3-642-36089-3 (online)
978-3-642-36088-6 (print)
0302-9743 (print)
1611-3349 (online)
104
123
7745

Subject Terms: APIs, Java Virtual Machine, Model Transformations, Model-Driven Engineering, Transformations at Runtime, Informática

Access URL: http://hdl.handle.net/10486/664466

Programming and parallelising applications for distributed infrastructures

Authors: Tejedor Saavedra, Enric

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/129576
https://dx.doi.org/10.5821/dissertation-2117-95111