Search Results - (( programmes java ) OR ( programm 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

Building an Operable Graph Representation of a Java Program as a basis for automatic software maintainability analysis

Authors: Bertrand, Sébastien Favier, Pierre-­‐alexandre André, Jean-Marc et al.

Contributors: Bertrand, Sébastien Favier, Pierre-­‐alexandre André, Jean-Marc et al.

Source: 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765430
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/

Subject Terms: Software Maintainability, Program Analysis, Program Graphs, Maintenabilité logicielle, Analyse de programme, Graphe de programme, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Saint-Etienne, France

Relation: hal-03765430; https://hal.science/hal-03765430; https://hal.science/hal-03765430/document; https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf

Availability: https://hal.science/hal-03765430
https://hal.science/hal-03765430/document
https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf

Génération de méta-programmes Java à partir des contraintes architecturales OCL

Authors: Kallel, Sahar Tibermacine, Chouki Skay, Mohamed Reda et al.

Contributors: Kallel, Sahar Tibermacine, Chouki Skay, Mohamed Reda et al.

Source: 3ème Conférence en IngénieriE du Logiciel
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.56-70

Subject Terms: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Paris, France

Availability: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181v1/file/SKetAl_CIEL_2014.pdf

Programmieren lernen mit Java

Authors: Hans-Peter Habelitz

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / JavaScript

Algorithmen in Java : Sortieren, Textsuche, Codierung, Kryptographie

Authors: Hans Werner Lang

Resource Type: eBook.

Subjects: Data structures (Computer science), Computer algorithms, Java (Computer program language)

Categories: COMPUTERS / General, COMPUTERS / Programming / General

Java für Dummies

Authors: Barry Burd

Resource Type: eBook.

Subjects: Internet programming, Java (Computer program language)

Categories: COMPUTERS / Languages / Java

Un programme annoté en vaut deux

Authors: Giorgetti, Alain Groslambert, Julien Combination of approaches to the security of infinite states systems (CASSIS) et al.

Contributors: Giorgetti, Alain Groslambert, Julien Combination of approaches to the security of infinite states systems (CASSIS) et al.

Source: Journée Francophone des Langages Applicatifs - JFLA07 ; https://hal.inria.fr/inria-00181135 ; Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France

Subject Terms: logiciel sûr, Java modeling language, propriétés temporelles, annotations, vérification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Subject Geographic: Aix-les-Bains, France

Relation: inria-00181135; https://hal.inria.fr/inria-00181135; https://hal.inria.fr/inria-00181135/document; https://hal.inria.fr/inria-00181135/file/GG07.pdf

Availability: https://hal.inria.fr/inria-00181135
https://hal.inria.fr/inria-00181135/document
https://hal.inria.fr/inria-00181135/file/GG07.pdf

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

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

Source: International Journal on Software Tools for Technology Transfer; Apr2023, Vol. 25 Issue 2, p185-204, 20p

Subject Terms: FLOATING-point arithmetic, JAVA programming language, TRANSCENDENTAL functions, LOCKS & keys

The Treewidth of Java Programs

Authors: Gustedt, Jens Mæhle, Ole A. Telle, Jan Arne et al.

Contributors: Gustedt, Jens Mæhle, Ole A. Telle, Jan Arne et al.

Source: 4th International Workshop on Algorithm Engineering and Experiments - ALENEX'02
https://hal.inria.fr/inria-00100731
4th International Workshop on Algorithm Engineering and Experiments - ALENEX'02, 2002, San Francisco, CA US, 12 p

Subject Terms: register allocation, java programs, control flow graph, treewidth, graphe de flux de contrôle, allocation de registres, programmes java, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: inria-00100731; https://hal.inria.fr/inria-00100731

Availability: https://hal.inria.fr/inria-00100731

Restoring State Control Over Forest Resources Through Administrative Procedures: Evidence From a Community Forestry Programme in Central Java, Indonesia

Authors: Ahmad Maryudi

Source: ASEAS - Austrian Journal of South-East Asian Studies, Vol 5, Iss 2, Pp 229-242 (2012)

Subject Terms: Administrative Procedures, Community Forestry, Indonesia, State Control, State Forestland, Indonesien, staatliche Kontrolle, staatlicher Wald, Verwaltungsverfahren, Political science, Social Sciences

File Description: electronic resource

Relation: http://www.seas.at/wp-content/plugins/download-monitor/download.php?id=136; https://doaj.org/toc/1999-2521; https://doaj.org/toc/1999-253X

Access URL: https://doaj.org/article/0c3adfdd114b469aa7d50686941be0b0

To Send or to Carry? Gendered Evaluations of Formal and Informal Remittance Practices in Migrant-Origin Villages in Central Java, Indonesia (Final Report)

Authors: Chan, Carol

Subject Terms: Indonesia, Yogyakarta, Cilacap, gender, migrant labor, remittances, cash, physical cash transfer

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/33x5t9fg
https://escholarship.org/content/qt33x5t9fg/qt33x5t9fg.pdf

Einführung in die Programmiersprache Java.

Authors: Goll, Joachim Heinisch, Cornelia

Source: Java als Erste Programmiersprache (9783834818577); 2014, p69-90, 22p

Automatic Analysis and Repair of Exception Bugs for Java Programs ; Analyse et réparation automatique des bugs liés aux exceptions dans les programmes Java

Authors: Cornu, Benoit Self-adaptation for distributed services and large software systems (SPIRALS) Inria Lille - Nord Europe et al.

Contributors: Cornu, Benoit Self-adaptation for distributed services and large software systems (SPIRALS) Inria Lille - Nord Europe et al.

Source: https://tel.archives-ouvertes.fr/tel-01250092 ; Software Engineering [cs.SE]. Université de Lille, 2015. English.

Subject Terms: Exception Handler, Gestion des Exceptions, Maintenance Logicielle, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: tel-01250092; https://tel.archives-ouvertes.fr/tel-01250092; https://tel.archives-ouvertes.fr/tel-01250092/document; https://tel.archives-ouvertes.fr/tel-01250092/file/main.pdf

Availability: https://tel.archives-ouvertes.fr/tel-01250092
https://tel.archives-ouvertes.fr/tel-01250092/document
https://tel.archives-ouvertes.fr/tel-01250092/file/main.pdf

Polyglotte Programme mit GraalVM. (German)

Authors: Zöller, Tim

Source: JavaSPEKTRUM; 2024, Issue 3, p10-13, 4p

Clinical implications of a mathematical–geometrical model to predict changes in the anterior arch dimension.

Alternate Title: Klinische Implikationen eines mathematisch-geometrischen Modells für die Vorhersage der Dimension des anterioren Zahnbogens. (German)

Authors: Paddenberg-Schubert, Eva Heiß, Raphael Grünbaum, Tobias et al.

Source: Journal of Orofacial Orthopedics/Fortschritte der Kieferorthopadie; Nov2025, Vol. 86 Issue 6, p402-411, 10p

Subject Terms: MATHEMATICAL models, ORTHODONTICS, DENTISTRY, COMPUTER software, CLINICAL medicine, STATISTICAL models

Refactoring Loops in the Era of LLMs: A Comprehensive Study.

Authors: Midolo, Alessandro Tramontana, Emiliano

Source: Future Internet; Sep2025, Vol. 17 Issue 9, p418, 27p

Subject Terms: CHATGPT, GENERATIVE artificial intelligence, SOFTWARE engineering, SOFTWARE refactoring, FUNCTIONAL programming (Computer science), JAVA programming language

Einführung in die Programmiersprache Java.

Authors: Heinisch, Cornelia Müller-Hofmann, Frank Goll, Joachim

Source: Java als Erste Programmiersprache; 2007, p57-73, 17p

Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java

Authors: Hiet, Guillaume SUPELEC-Campus Rennes Ecole Supérieure d'Electricité - SUPELEC (FRANCE) et al.

Contributors: Hiet, Guillaume SUPELEC-Campus Rennes Ecole Supérieure d'Electricité - SUPELEC (FRANCE) et al.

Source: https://theses.hal.science/tel-00355089 ; Autre [cs.OH]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩.

Subject Terms: sécurité informatique, détection d'intrusions, politique de sécurité, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Availability: https://theses.hal.science/tel-00355089
https://theses.hal.science/tel-00355089/document
https://theses.hal.science/tel-00355089/file/these_hiet.pdf

Improving interpreted execution performance with Java bytecode SuperOperators

Authors: Azevedo, Ana Veidenbaum, Alex Nicolau, Alex

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/1s07c76x
https://escholarship.org/content/qt1s07c76x/qt1s07c76x.pdf

OLG Köln: Urheberrechtliche Werkqualität eines Computerprogramms – Java-Script- Rechner. (German)

Alternate Title: Cologne Higher Regional Court: Copyright work quality of a computer program - Java Script calculator. (English)

Source: Computer und Recht; Jul2022, Vol. 38 Issue 7, p422-424, 3p