Latest Articles for Programming Languages

Explores improved querying techniques for efficient data management through XPath.

A framework improves code generation for specialized languages using documentation.

A new tool uses machine learning to detect performance bugs effectively.

Explore how model order enhances diagram layouts and captures user intent.

A study on Copilot's ability to generate code across various programming languages.

A new dataset improves code search efficiency for developers using natural language queries.

APPL streamlines development with large language models using an intuitive, Python-like syntax.

An overview of a substitution algorithm in Multimode Type Theory.

New methods enhance uncomputation efficiency in complex quantum programs.

This study discusses using machine learning to improve type inference in programming languages.

A new method improves code repair for underused programming languages.

Learn about PEGs, their history, structure, and applications in programming and parsing.

A deeper look into reasoning about programs with random elements.

Learn about drags and their rewriting process in graphs.

Automated tool for verifying the correctness of quantum programs written in Silq.

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.