Search Results - java (compiler OR computer) (compiler OR computer)

A Java Compiler Plugin for Type-Safe Inferences in Generics

Authors: Neha Kumari 0002 Rajeev Kumar 0004

Source: Journal of Universal Computer Science, Vol 31, Iss 4, Pp 312-337 (2025)
JUCS-Journal of Universal Computer Science 31(4): 312-337

Subject Terms: Type Safety, Electronic computers. Computer science, Wildcards, QA75.5-76.95, Ty, Java Generics, Type Argument Inference, Plugin

File Description: text/html

Access URL: https://doaj.org/article/bbd7effcc61141dd92bf9cd22abaa6fd
https://lib.jucs.org/article/106159/download/pdf/
https://lib.jucs.org/article/106159/
https://doi.org/10.3897/jucs.106159

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing

Authors: Qiong Feng Xiaotian Ma Ziyuan Feng et al.

Source: Proceedings of the ACM on Programming Languages. 9:2843-2869

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering, Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2507.06584

Generating Java Compiler Optimizers Using Bidirectional CTL

Authors: Fang, L. Sassa, M.

Source: Electronic Notes in Theoretical Computer Science. 190:49-63

Subject Terms: temporal logic, CTL, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, compiler optimization, Theoretical Computer Science, Computer Science(all)

Foundational Java

Authors: David Parsons

Resource Type: eBook.

Subjects: Java (Computer program language), Compilers (Computer programs)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / Compilers

The JastAdd Extensible Java Compiler

Authors: Ekman, Torbjörn Hedin, Görel Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator et al.

Contributors: Ekman, Torbjörn Hedin, Görel Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator et al.

Source: ACM Sigplan Notices OOPSLA 2007. 42:1-17

Subject Terms: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)

Access URL: http://fileadmin.cs.lth.se/sde/publications/papers/2007-Ekman-OOPSLA.html

Computer Aided Verification

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Today's TBB

Authors: Michael J. Voss James R. Reinders

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

One Compiler to Rule Them All : Extending the Storm Programming Language Platform with a Java Frontend

Authors: Ahrenstedt, Simon Huber, Daniel

Subject Terms: Computer Sciences, context free language, syntax transformation, parser, EBNF, regular language, intermediate code generation, basic storm, Datavetenskap (datalogi), action research, BNF, java compiler frontend, storm, language technology, syntax language, compiler, context free grammar

File Description: application/pdf

Access URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-195631

Briki: an optimizing Java compiler

Authors: Michal Cierniak Wei Li 0015

Source: Proceedings IEEE COMPCON 97. Digest of Papers. :179-184

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Preserving the Mental Map when Visualizing Dynamic Graphs : An Approach for Intermediate Representations in the C2 Java Compiler

Bevarande av den mentala kartan vid visualisering av dynamiska grafer : Ett tillvägagångssätt för mellanrepresentationer i C2 Java-kompilatorn

Authors: Yin, Emmy

Subject Terms: Dynamic Graphs, Graph Layout Algorithms, Visualization, Hierarchical Graph Layouts, Dynamiska grafer, grafritningsalgoritmer, visualisering, hierarkiska grafritningar, Computer and Information Sciences, Data- och informationsvetenskap

File Description: application/pdf

Relation: TRITA-EECS-EX ; 2023:343

Availability: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329352

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

JGroovy: An alternative approach to implement extensible Java compiler.

Authors: Sateanpattanakul, Siwadol Hamamoto, Kazuhiko Walairacht, Aranya

Source: IEEJ Transactions on Electrical & Electronic Engineering. Jul2013, Vol. 8 Issue 4, p380-386. 7p.

Subject Terms: *COMPUTER programming, *JAVA programming language, *SQL, *DOMAIN-specific programming languages, *GROOVY (Computer program language)

Foundational Java : Key Elements and Practical Programming

Authors: David Parsons

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer programming, Software engineering

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

IMPLEMENTING JAVA COMPILERS USING ReRAGs.

Authors: Nilsson, Anders Ive, Anders Ekman, Torbjörn et al.

Source: Nordic Journal of Computing. Fall2004, Vol. 11 Issue 3, p213-234. 12p. 14 Diagrams, 2 Charts.

Subject Terms: Compilers (Computer programs), Java programming language, Systems software, Computer software, Computer files

An Extensible Compiler for Implementing Software Design Patterns as Concise Language Constructs.

Authors: Ghaleb, Taher Ahmed Aljasser, Khalid Alturki, Musab A.

Source: International Journal of Software Engineering & Knowledge Engineering; Jul2021, Vol. 31 Issue 7, p1043-1067, 25p

Subject Terms: DESIGN software, SOFTWARE architecture, COMPILERS (Computer programs), LINGUISTICS, SOURCE code, XBRL (Document markup language)

Programming Languages and Systems

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler.

Authors: CLERC, XAVIER

Source: Journal of Functional Programming; 2016, Vol. 26, p1-42, 42p

Subject Terms: VIRTUAL machine systems, JAVA programming language, COMPILERS (Computer programs), COMPUTER performance, GARBAGE collection (Computer science)

An uncaught exception analysis for Java

Authors: Jo, Jang-Wu Chang, Byeong-Mo Yi, Kwangkeun et al.

Source: Journal of Systems & Software. Jun2004, Vol. 72 Issue 1, p59. 11p.

Subject Terms: *SYSTEMS software, *COMPUTER software, JAVA programming language, COMPILERS (Computer programs)

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

Authors: Jean-Philippe Pellet Gabriel Parriaux

Resource Type: eBook.

Subjects: Information technology--Study and teaching (Elementary)--Congresses, Computer science--Study and teaching (Secondary)--Congresses, Computer science--Study and teaching (Elementary)--Congresses, Information technology--Study and teaching (Secondary)--Congresses, Computer-assisted instruction--Congresses

Categories: EDUCATION / Computers & Technology, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, EDUCATION / General

Compiler Research: the next 50 Years.

Authors: HALL, MARY PADUA, DAVID PINGALI, KESHAV

Source: Communications of the ACM; Feb2009, Vol. 52 Issue 2, p60-67, 8p, 1 Color Photograph, 1 Illustration

Subject Terms: COMPILERS (Computer programs), COMPUTER software research, PROGRAMMING software, SYSTEMS software, FORECASTING, COMPUTER science, COMPUTER software