Results 1 to 10 of about 4,975 (191)
A Language Model of Java Methods with Train/Test Deduplication [PDF]
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023 4 pages + 2 references + 2 appendix. No captioned tables.
Chia‐Yi Su +4 more
openalex +3 more sources
NLOMJ--Natural Language Object Model in Java [PDF]
, 2004 In this paper we present NLOMJ--a natural language object model in Java with English as the experiment language. This modal describes the grammar elements of any permissible expression in a natural language and their complicated relations with each other with the concept "Object" in OOP(Object Oriented Programming).
Jiyou Jia
openalex +3 more sources
Verification of class liveness properties with Java modelling language [PDF]
IET Software, 2008 Static checking is key for the security of software components. As a component model, this paper considers a Java class enriched with annotations from the Java Modeling Language (JML). It defines a formal execution semantics for repetitive method invocations from this annotated class, called the class in isolation semantics.
Alain Giorgetti +3 more
openalex +5 more sources
NLOMJ—Natural Language Object Model in Java [PDF]
, 2006 In this paper we present NLOMJ--a natural language object model in Java with English as the experiment language. It describes the grammar elements of any permissible expression in a natural language and their complicated relations with each other with the concept "Object" in OOP.
Jiyou Jia, Youfu Ye, Klaus Mainzer
openalex +3 more sources
JavaBERT: Training a Transformer-Based Model for the Java Programming Language [PDF]
2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), 2021 6 pages, to appear in the Proceedings of the 9th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE'2021)
Nelson Tavares de Sousa +1 more
openalex +4 more sources
A Logic for the Java Modeling Language JML [PDF]
, 2001 This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows assertions like invariants, constraints, pre- and post-conditions, and modifiable clauses as annotations to Java classes, in a design-by-contract style.
Bart Jacobs, Erik Poll
openalex +3 more sources
Using LSTMs to Model the Java Programming Language [PDF]
, 2017 9 pages, 2 ...
Brendon Boldt
openalex +4 more sources
PENGAPSAHAN: TRANSLATION MODELS, LOCAL LANGUAGE PRESERVATION, AND LANGUAGE ACCULTURATION PROCESSES IN KIAI BOOKS OF COASTAL JAVA [PDF]
Arabiyat : Jurnal Pendidikan Bahasa Arab dan Kebahasaaraban, 2019 Pengapsahan model is a translation model that has long been used by Kiai in several traditional pesantren (Islamic boarding schools) on coastal Java. During this time, the conjugation model is only understood as a tool for analyzing text structures, whereas far more than that, there is a variety of Javanese typically used in pesantren having a social ...
Muhamad Jaeni
openalex +3 more sources
The virtual reality modeling language and Java [PDF]
Communications of the ACM, 1998 The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platform- independent way to render dynamic, interactive 3D scenes across the Internet. Integrating two powerful and portable software languages provides interactive 3D graphics plus complete programming capabilities plus network access.
Don Brutzman
openalex +3 more sources
An Investigation into Misuse of Java Security APIs by Large Language Models [PDF]
Proceedings of the 19th ACM Asia Conference on Computer and Communications SecurityThis paper has been accepted by ACM ASIACCS ...
Zahra Mousavi +4 more
+5 more sources