Latest Articles for Programming Languages

A look into uniform algebras and their role in Prolog and logic programming.

New models improve software code efficiency and compiler performance.

A new framework for analyzing termination in higher-order functions.

Exploring how design smells affect software development and maintenance roles.

This study explores how self-replicators can form from random programming interactions.

A study of backreferences in regular expressions and their relation to formal languages.

This study assesses the effectiveness of LLMs in creating unit tests.

A tool for verifying communication protocols in Clojure apps.

Cedar offers a clear way to develop authorization policies for applications.

A guide to Yul's role in Ethereum smart contracts.

Examining methods to enhance code generation for specialized programming languages using LLMs.

Learn about key programming concepts for better data handling and error management.

A study on improving code security generated by AI models.

MIREncoder improves code optimization using multi-modal representation and machine learning.

A two-stage framework improves Python's type inference, enhancing code quality and efficiency.

A method improving the verification of higher-order probabilistic programs using novel type systems.

ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.

A study on how LLMs manage coding rules and constraints.

A new method improves language models' efficiency while reducing costs and environmental impact.

A look at how AI aids quantum programming with the Qiskit HumanEval dataset.

A new framework ensures compiler optimizations maintain program correctness.

Synbciatr automatically fixes outdated test cases in software development.

A look at unreachable code and its impact on programming efficiency.

This study explores the role of feed-forward layers in code language models.

Examine security challenges with open-source software, especially in the Go programming language.

A new method enhances the evaluation of SQL code generation accuracy.

Learn how type universes affect memory allocation in programming languages.

An overview of linear processes and their significance in programming and communication systems.

A look at modular frameworks in binary analysis tool development.

CodeCSE improves linking code and comments using contrastive learning for software engineering.

A new language design aims to improve reasoning and clarity in software development.

Exploring grammar masking techniques to improve code generation accuracy.

A detailed analysis of bugs in Solidity compilers and their implications.

A look into higher categories and their role in complex relationships.

This article explores mailbox communication and its role in finite-state machines.

Explore the fundamentals and semantics of logic programming for effective knowledge representation.

An overview of defining processes and proofs using Beluga.

Learn how automata theory enhances the performance of language models.

A hands-on course to understand type systems in programming using Stella.

A study on how ML models grasp programming language syntax.