Latest Articles for Programming Languages

Explore nominal algebra's role in managing names and binding in programming.

New type system ensures smart contracts run smoothly without gas issues.

Explore the importance of independence in rewriting systems and its impact on efficiency.

A new programming language improves MPC protocol security verification.

Learn about domain theory and its importance in logic and computer science.

A look at domain theory and its structures using univalent foundations.

Learn how to draw circles and ellipses using Bézier curves in graphics programming.

Combining static and dynamic analysis boosts software reliability.

A study comparing machine learning models for evaluating vulnerabilities in C/C++ code.

Exploring Rust's role in enhancing OS security and reliability.

This article reviews a method for improving HDL code generation using language models.

LLASP improves ASP code generation from natural language descriptions.

A new concept reshaping our view of types in mathematics and programming.

A fresh approach to improve coding task evaluations for language models.

Research examines the effectiveness of current benchmarks in visualization tasks.

This paper proposes a framework to understand choice constructs in logic programming.

A method for verifying programming languages for better reliability and correctness.

Exploring adaptive systems for managing runtime errors using Large Language Models.

A study evaluates how textbooks align with programming skill levels in Python.

Using Large Language Models to enhance vulnerability detection in software code.

Learn how to use Haskell for relational programming to handle data efficiently.

This paper examines how large language models assess code quality compared to existing tools.

New ownership model improves memory management and verification in low-level languages.

A look into polynomial handling with Lean's features and challenges.

A framework to reason about programming languages with recursion and randomness.

A study on using LLMs for identifying code clones in different languages.

This study assesses LLMs' effectiveness in finding vulnerabilities across programming languages.

PyMarian connects Python users to fast translation models with ease.

This article examines issues of code hallucination in LLMs and their implications.

A new symbolic execution engine enhances Wasm binary analysis for improved security.

Research on merging task-specific adapters to enhance automated program repair efficiency.

A study on how CDD aids novice developers in managing code complexity.

Examining issues in Kotlin's type safety and potential solutions.

Enhancing OpenMP testing through CI/CD for better software performance.

A new toolchain improves memory safety for WASM applications using modern hardware.

A multi-domain benchmark assesses LLMs' code generation abilities across various fields.

A new method improves translation across multiple programming languages.

This paper presents a method to automatically create formal semantics using interpreters.

Explore how event structures model relationships between actions in computing.

A new benchmark project aims to assess Java issue resolution capabilities.