Latest Articles for Programming Languages

Exploring solutions for data type extension and function management in programming.

This study highlights CodeT5's effectiveness in suggesting minimal code edits for bug fixes.

T5APR improves bug fixing across multiple programming languages using advanced machine learning techniques.

Exploring proof techniques for evaluating functions in programming languages.

Research examines the vulnerabilities and patch process in Golang development.

A new method enhances code completion by integrating project-specific API information.

A new algorithm enhances reasoning capabilities in DatalogMTL for complex datasets.

WebAssembly boosts web app speed but raises security concerns.

Investigating differences between human-written and machine-generated code for better detection methods.

Directed languages play a crucial role in computer science and language theory.

A look into string constraints and their importance in software systems.

Examining the effects of inter-dataset code duplication on model performance metrics.

Developers value documentation, yet often skip writing function header comments.

Introducing a language to enhance the security of confidential computing in the cloud.

RichWasm provides a solution for safe memory sharing between different programming languages.

A look into initial semantics and its role in programming languages with variables.

Examining the factors leading to underproduction in open source projects.

An exploration of efficient higher-order functionals and their implications in computing.

A look into how meaningfulness shapes programming language design and evaluation.

Examining challenges transformer models face in learning structural recursion.

Discover the role of monadic intersection types in improving programming language type systems.

Examining teaching methods to improve learning through various representations.

A study on the roles of paid developers and volunteers in Rust projects.

Learn how static analysis tools like C Analyzer improve software reliability.

A new model supports efficient communication in choreographic programming.

Introducing a framework for customizable graph representations in code analysis.

Combining LLMs and formal verification to improve programming accuracy and efficiency.

This study proposes new syntactic sugars based on real coding patterns in Java.

A new framework for understanding cost in probabilistic functional programming.

A new method improves code understanding through extensive data and training techniques.

A look at adjoint logic and its applications in programming and computation.

A new dataset and model for enhancing machine learning in formal proofs using Agda.

A dataset to enhance the accuracy of unit test generation using large language models.

Discover how Object Graph Programming simplifies data handling in software development.

A new tool aims to simplify the conversion of Redex models to Coq.

This article explains the basics of program semantics and its key concepts.

This article discusses the role of bounded nondeterminism in program behavior management.

A new fuzzer enhances bug detection in LLVM's complex codebase.

Exploring the connection between functions and types in affine lambda calculus.

A new tool uses language models to automate repetitive code changes efficiently.