Imagen de Portada

A Programming Language for Feasible Solutions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Weijun, Fu, Yuxi, Long, Huan
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
por: Shirafuji, Atsushi, et al.
Publicado: (2023)

Polynomial Invariant Generation for Floating-Point Programs
por: Cai, Xuran, et al.
Publicado: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
por: Shen, Chen, et al.
Publicado: (2026)

Improving Reachability in Vector Addition Systems through Pumpability
por: Chen, Weijun, et al.
Publicado: (2026)

A Multilingual Python Programming Language
por: Bazaz, Saad Ahmed, et al.
Publicado: (2025)

A Brief Overview of the Pawns Programming Language
por: Naish, Lee
Publicado: (2024)

Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

Dependent Session Types for Verified Concurrent Programming
por: Fu, Qiancheng, et al.
Publicado: (2025)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
por: Chen, Ethan, et al.
Publicado: (2024)

From Program Logics to Language Logics
por: Cimini, Matteo
Publicado: (2024)

Meerkat: A Distributed Reactive Programming Language with Live Updates
por: Zhong, Heng, et al.
Publicado: (2024)

Rel: A Programming Language for Relational Data
por: Aref, Molham, et al.
Publicado: (2025)

Using Code Snippets to Teach Programming Languages
por: Akingbade, Joshua, et al.
Publicado: (2025)

Compilation Semantics for a Programming Language with Versions
por: Tanabe, Yudai, et al.
Publicado: (2023)

Leroy: Library Learning for Imperative Programming Languages
por: Bellur, Abhiram, et al.
Publicado: (2024)

Programming Language Case Studies Can Be Deep
por: Bohrer, Rose
Publicado: (2024)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
por: Hu, Lifan
Publicado: (2025)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
por: Acevedo, Emmanuel Suárez, et al.
Publicado: (2026)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
por: Li, Feifei, et al.
Publicado: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
por: Faro, Simone, et al.
Publicado: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
por: Dong, Honghua, et al.
Publicado: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
por: Tušil, Jan, et al.
Publicado: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
por: Cherny-Shahar, Tsvi, et al.
Publicado: (2024)

PDL: A Declarative Prompt Programming Language
por: Vaziri, Mandana, et al.
Publicado: (2024)

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

Can Language Models Solve Olympiad Programming?
por: Shi, Quan, et al.
Publicado: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
por: Wang, Peixin, et al.
Publicado: (2023)

The IsalProgram Programming Language
por: López-Rubio, Ezequiel
Publicado: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
por: Vidal, Germán
Publicado: (2023)

Towards General-Purpose Data Discovery: A Programming Languages Approach
por: Kang, Andrew, et al.
Publicado: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2024)

Emergent Representations of Program Semantics in Language Models Trained on Programs
por: Jin, Charles, et al.
Publicado: (2023)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
por: Lundén, Daniel, et al.
Publicado: (2023)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
por: Zhang, Yimin, et al.
Publicado: (2024)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
por: van Kempen, Nicolas, et al.
Publicado: (2024)

On Quantum Programming Languages
por: Valiron, Benoît
Publicado: (2024)

A Unifying Approach to Probabilistic Testing Equivalences
por: Chen, Weijun, et al.
Publicado: (2025)