Cover Image

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Marron, Mark
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Effectively $Ω(c)$ Language and Runtime
by: Marron, Mark
Published: (2024)

Toward an Agentic Infused Software Ecosystem
by: Marron, Mark
Published: (2026)

A New Generation of Intelligent Development Environments
by: Marron, Mark
Published: (2024)

Catalpa: GC for a Low-Variance Software Stack
by: Arnold, Anthony, et al.
Published: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)

Towards Analyzing N-language Polyglot Programs
by: Prakash, Jyoti, et al.
Published: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
by: Sun, Zhensu, et al.
Published: (2024)

Quantitative Symbolic Patch Impact Analysis
by: Sarker, Laboni, et al.
Published: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

Multi-Pass Targeted Dynamic Symbolic Execution
by: Yavuz, Tuba
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

Towards AI-Assisted Synthesis of Verified Dafny Methods
by: Misu, Md Rakib Hossain, et al.
Published: (2024)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
by: Fayed, Mahmoud Samir
Published: (2025)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Towards Repository-Level Program Verification with Large Language Models
by: Zhong, Si Cheng, et al.
Published: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
by: Diamantakis, Panagiotis, et al.
Published: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
by: Beheshti, Amin
Published: (2024)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
by: Bouras, Dimitrios Stamatios, et al.
Published: (2026)

Mix-of-Language-Experts Architecture for Multilingual Programming
by: Zong, Yifan, et al.
Published: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
by: Kargaran, Amir Hossein, et al.
Published: (2025)

How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks
by: Rojpaisarnkit, Ruksit, et al.
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
by: Karapetyan, Daniel
Published: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
by: Li, Hebi, et al.
Published: (2023)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)