Search Results - introduction to (compiler OR computer) construction in a java world

Introduction to Compiler Construction in a Java World

Authors: Bill Campbell Swami Iyer Bahar Akbal-Delibas

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General

Introduction to compiler construction in a Java world

Source: Choice Reviews Online. 50:50-6220

Introduction to compiler construction in a Java World / Bill Campbell, Swami Iyer, Bahar Akbal-Delibaş.
Compiler construction in a Java World

Authors: Campbell, Bill (1950- ). Iyer, Swami. Akbal-Delibaş, Bahar. et al.

Contributors: Campbell, Bill (1950- ). Iyer, Swami. Akbal-Delibaş, Bahar. et al.

Source: Bibliogr. s. 345-349. Indeks.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:3098461&theme=nukat

Nand to Tetris: Building a Modern Computer System from First Principles.

Authors: Schocken, Shimon

Source: Communications of the ACM; May2024, Vol. 67 Issue 5, p76-85, 10p

Subject Terms: COMPUTER system design & construction, COMPUTER science education, MOTHERBOARDS, VIRTUAL machine systems, ABSTRACTION (Computer science), SYSTEMS design

Legacy Code, Live Risk: Empirical Evidence of Malware Detection Gaps.

Authors: Huang, Gang-Cheng Lai, Tai-Hung

Source: Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11862, 18p

Subject Terms: MALWARE, PROGRAMMING languages, LEGACY systems, COMPILERS (Computer programs), MALWARE prevention, INTERNET security

Introduction to Compiler Construction in a Java World

Authors: Bill Campbell Swami Iyer Bahar Akbal-Delibas

Partial program analysis for staged compilation systems.

Authors: Anand, Aditya Thakur, Manas

Source: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p195-230, 36p

Subject Terms: COST analysis, EVALUATORS, TRANSLATORS, COMPILERS (Computer programs), LIBRARIES

GENERATING JAVA CODE WITH AI TOOLS. USAGE AND IMPLICATIONS.

Authors: TĂBUȘCĂ, Alexandru LUCHICI, Andrei BOTEZATU, Mihai et al.

Source: Journal of Information Systems & Operations Management; May2025, Vol. 19 Issue 1, p306-328, 23p

Subject Terms: ARTIFICIAL intelligence, COMPUTER software developers, SOFTWARE engineers, CHATGPT, MOBILE apps

Choral: Object-oriented Choreographic Programming.

Authors: Giallorenzo, Saverio Montesi, Fabrizio Peressotti, Marco

Source: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-59, 59p

Subject Terms: OBJECT-oriented programming, PROGRAMMING languages, COMPILERS (Computer programs), COMPUTER software development, EXPRESSIVE language, CHOREOGRAPHY, MIDDLEWARE

Geographic Terms: JAVA (Indonesia)

Demystifying React Native Android Apps for Static Analysis.

Authors: Liu, Yonghui Chen, Xiao Liu, Pei et al.

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-33, 33p

Subject Terms: MOBILE app development, JAVASCRIPT programming language, COMPILERS (Computer programs)

Enabling Progressive Server-Side Rendering for Traditional Web Template Engines with Java Virtual Threads.

Authors: Pereira, Bernardo Carvalho, Fernando Miguel

Source: Software (2674-113X); Sep2025, Vol. 4 Issue 3, p20, 26p

Subject Terms: SCALABILITY, WEB development, PARALLEL processing, BENCHMARK problems (Computer science)

JITfuzz: Coverage-Guided Fuzzing for JVM Just-in-Time Compilers.

Authors: Wu, Mingyuan Lu, Minghai Cui, Heming et al.

Source: ICSE: International Conference on Software Engineering; 2023, p56-68, 13p

Subject Terms: JAVA programming language, JUST-in-time systems, COMPUTER software development, BENCHMARKING (Management)

Company/Entity: GITHUB Inc.

Assessing and Analyzing the Correctness of GitHub Copilot's Code Suggestions.

Authors: Mo, Ran Wang, Dongyu Zhan, Wenjing et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-32, 32p

Subject Terms: PROGRAMMING languages, CODE generators, STATISTICAL accuracy, FAILURE analysis, EMPIRICAL research, COMPUTER software development

Company/Entity: GITHUB Inc.

Modern Approaches to Software Vulnerability Detection: A Survey of Machine Learning, Deep Learning, and Large Language Models.

Authors: Shaon, Md. Shazzad Hossain Akter, Mst Shapna

Source: Electronics (2079-9292); Nov2025, Vol. 14 Issue 22, p4449, 34p

Subject Terms: MACHINE learning, DEEP learning, COMPUTER software security, ARTIFICIAL intelligence, LANGUAGE models, FEATURE extraction, DETECTION algorithms

IntraJ: an on-demand framework for intraprocedural Java code analysis.

Authors: Riouak, Idriss Fors, Niklas Hedin, Görel et al.

Source: International Journal on Software Tools for Technology Transfer; Dec2024, Vol. 26 Issue 6, p687-705, 19p

Subject Terms: COMPUTER software, COMPUTER software development, SOURCE code, COMPUTER science, SCIENTIFIC computing, DEBUGGING

Construction of computer nursing model for ECG monitoring based on MVC development pattern.

Authors: Liu, Junxia Niu, Yan Zhang, Guanghui et al.

Source: Discover Applied Sciences; Nov2025, Vol. 7 Issue 11, p1-19, 19p

Construction of verifier combinations from off-the-shelf components.

Authors: Beyer, Dirk Kanav, Sudeep Kleinert, Tobias et al.

Source: Formal Methods in System Design; May2025, Vol. 66 Issue 1, p99-130, 32p

Subject Terms: SOFTWARE verification, COMPUTER software, PORTFOLIO performance, COMPUTER science, SOFTWARE development tools

Migrating from Developing Asynchronous Multi-Threading Programs to Reactive Programs in Java.

Authors: Zbarcea, Andrei Tudose, Cătălin

Source: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 24, p12062, 43p

Subject Terms: STIMULUS & response (Psychology), COMPUTER software development, APPLICATION software, SCALABILITY, RESEARCH & development

Preserving provability over GPU program optimizations with annotation-aware transformations.

Authors: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Subject Terms: PROGRAM transformation, SOFTWARE verification, OPTIMIZATION algorithms, PARALLEL programs (Computer programs), SCIENTIFIC observation

Fine-Tune LLMs for PLC Code Security: An Information-Theoretic Analysis.

Authors: Chen, Ping Liu, Xiaojing Wang, Yi

Source: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 19, p3211, 28p

Subject Terms: CYBER physical systems, LANGUAGE models, COMPUTER software testing, PROGRAMMABLE controllers, SOURCE code, RISK assessment, DATA augmentation