Imagen de Portada

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Beheshti, Amin
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Artificial Intelligence Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
por: Chakraborty, Saikat, et al.
Publicado: (2024)

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

dafny-annotator: AI-Assisted Verification of Dafny Programs
por: Poesia, Gabriel, et al.
Publicado: (2024)

Toward an Agentic Infused Software Ecosystem
por: Marron, Mark
Publicado: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
por: Xia, Shihao, et al.
Publicado: (2026)

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

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
por: Endres, Madeline, et al.
Publicado: (2023)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
por: Richter, Cedric, et al.
Publicado: (2025)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
por: Elmaaroufi, Karim, et al.
Publicado: (2024)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
por: Liu, Ruibang, et al.
Publicado: (2024)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
por: Ye, Tong, et al.
Publicado: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
por: He, Pengfei, et al.
Publicado: (2026)

Program Skeletons for Automated Program Translation
por: Wang, Bo, et al.
Publicado: (2025)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
por: Lang, Nguyet-Anh H., et al.
Publicado: (2026)

LLMs Lean on Priors, Not Programming Language Semantics
por: Thimmaiah, Aditya, et al.
Publicado: (2025)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
por: Dumitran, Adrian Marius, et al.
Publicado: (2024)

Introduction to Analytical Software Engineering Design Paradigm
por: Houichime, Tarik, et al.
Publicado: (2025)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
por: Wang, Yuchen, et al.
Publicado: (2025)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
por: Zhang, William, et al.
Publicado: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
por: Shirafuji, Atsushi, et al.
Publicado: (2023)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
por: Zhang, Zehua, et al.
Publicado: (2025)

Can LLMs Enable Verification in Mainstream Programming?
por: Shefer, Aleksandr, et al.
Publicado: (2025)

DafnyBench: A Benchmark for Formal Software Verification
por: Loughridge, Chloe, et al.
Publicado: (2024)

Certified Program Synthesis with a Multi-Modal Verifier
por: Feng, Yueyang, et al.
Publicado: (2026)

Herb.jl: A Unifying Program Synthesis Library
por: Hinnerichs, Tilman, et al.
Publicado: (2025)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
por: Wang, Ming, et al.
Publicado: (2024)

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
por: Mitchell, Jacqueline L., et al.
Publicado: (2026)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
por: Zenkner, Janis, et al.
Publicado: (2024)

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
por: Surana, Shraddha, et al.
Publicado: (2025)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
por: Huang, Zhechong, et al.
Publicado: (2025)

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
por: Cao, Jialun, et al.
Publicado: (2024)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
por: Le-Cong, Thanh, et al.
Publicado: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
por: Wei, Anjiang, et al.
Publicado: (2025)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
por: Maddila, Chandra, et al.
Publicado: (2025)

Turn: A Language for Agentic Computation
por: Kizito, Muyukani
Publicado: (2026)

Assessing the Interpretability of Programmatic Policies with Large Language Models
por: Bashir, Zahra, et al.
Publicado: (2023)

Ranking LLM-Generated Loop Invariants for Program Verification
por: Chakraborty, Saikat, et al.
Publicado: (2023)

AutoCode: LLMs as Problem Setters for Competitive Programming
por: Zhou, Shang, et al.
Publicado: (2025)

Solving Data-centric Tasks using Large Language Models
por: Barke, Shraddha, et al.
Publicado: (2024)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
por: Daunis, Ivan
Publicado: (2025)