Latest Articles for Programming Languages

This article examines key metrics for assessing code quality in OSS projects.

Exploring the role of saturating automata in understanding concurrent programming.

This article discusses how LLMs can assist low-resource programming languages like hansl.

An overview of essential ideas for effective process development.

An overview of the significance and application of parametric subtyping in programming.

A new method for analyzing functional programs using higher-order term rewriting systems.

A look into using SSR processors for program termination analysis.

A look at how reduction orders ensure system processes finish successfully.

This article examines how language models generate Verilog code effectively.

A new model streamlines code updates between programming languages.

Learn how lintcstubs enhances OCaml-C code safety and correctness.

CodeLens helps developers visualize and interpret code structure efficiently.

nelli makes working with MLIR easier for developers.

This article discusses regular languages and their significance in formal systems.

An overview of tree transducers, focusing on macro tree transducers and their key properties.

A look into univalent reference types and their implications for programming languages.

Introducing a program logic to enhance reasoning for higher-order, stateful software.

Examining limitations of LLMs in translating code and techniques for improvement.

New methods improve understanding of language models used for coding tasks.

A new approach makes regex generation clearer and easier to use.

Adjustments to MicroPython lead to better performance on CHERI platforms.

A new method combines classical and modern models for better code search accuracy.

A systematic method for creating and manipulating non-wellfounded syntax in programming languages.

Streamline causal analysis using Tetrad combined with Python and R.

SEER automates efficient hardware design from high-level software programs.

WasmFX provides new tools for developers to manage advanced programming features in WebAssembly.

This study highlights Java developers' reuse of answers from StackOverflow on GitHub.

New tokenizer improves performance of language models for high-performance computing programming.

A new approach enhances data-based coordination languages for better performance.

Tau Prolog allows running Prolog code seamlessly in web environments.

A proposal for a standard MPI ABI to improve compatibility across implementations.

Bugsplainer offers clear bug explanations to streamline software development.

Linking vocabulary difficulty and code naturalness to improve software comprehension.

This article highlights efforts to integrate Fortran with FPGA programming tools for better performance.

A look at tools aiding Rust developers in version management.

Exploring ChatGPT's effectiveness in identifying vulnerabilities in Python code.

ACER offers an efficient way to create call graphs using abstract syntax trees.

A look at how VeriFast improves verification of C programs using formal systems.

This system integrates Python and Prolog for seamless functionality.

This article discusses the link between ProbLog and argumentation in uncertain information.