Latest Articles for Programming Languages

Innopolis University leads research on handling identifiers in programming languages.

A tool that leverages AI to generate helper assertions for Dafny code verification.

A clear guide to inductive and coinductive definitions and their significance.

A new approach to enhance array performance in programming.

A look at improving safety in aerospace software with Rust.

A look into reflexive graphs and their applications through lenses.

A new assistant uses AI to streamline digital hardware design and RTL code creation.

This study evaluates LCGMs' performance on coding tasks in English and Chinese.

Learn how Julia boosts Stata's statistical capabilities for large datasets.

A look at how Rust facilitates distributed shared memory management.

A new method enhances code generation for specialized programming languages.

Exploring how AI facilitates code conversion between programming languages.

A new metric to gauge how hard it is to compile programming languages.

A new benchmark to assess LLMs for Java programming tasks.

MARVeLus bridges verification and implementation for safer cyber-physical systems.

Exploring the benefits of regular look-around in attributed tree transducers.

A new method enhances LLMs for generating high-quality UI code.

An overview of multi-arity structures and their significance in logic and computation.

Combining fuzzing and language models to improve software testing efficiency.

DafnyBench benchmarks software verification tools, paving the way for reliable programming.

Examining the impact of deprecated APIs on LLM code suggestions.

A new approach combines knowledge and technology to improve software vulnerability detection.

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.