Copertina

From a Natural to a Formal Language with DSL Assistant

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mosthaf, My M., Wąsowski, Andrzej
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AI-Assisted Modeling: DSL-Driven AI Interactions
di: Smyth, Steven, et al.
Pubblicazione: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
di: Chen, Rui, et al.
Pubblicazione: (2025)

Establishing tool support for a concept DSL
di: Jakobsen, Nikolaj Kühne
Pubblicazione: (2025)

FLAT: Formal Languages as Types
di: Zhu, Fengmin, et al.
Pubblicazione: (2025)

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

Automated Formalization of Probabilistic Requirements from Structured Natural Language
di: Mavridou, Anastasia, et al.
Pubblicazione: (2025)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
di: Sharp, Toby
Pubblicazione: (2025)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
di: Arfi, Farid, et al.
Pubblicazione: (2024)

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

Package Managers à la Carte: A Formal Model of Dependency Resolution
di: Gibb, Ryan, et al.
Pubblicazione: (2026)

Structural Code Search using Natural Language Queries
di: Limpanukorn, Ben, et al.
Pubblicazione: (2025)

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

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

Towards a DSL to Formalize Multimodal Requirements
di: Gomez-Vazquez, Marcos, et al.
Pubblicazione: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
di: Bucev, Mario, et al.
Pubblicazione: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
di: Zhao, Jianhong, et al.
Pubblicazione: (2024)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
di: Liu, Shigang, et al.
Pubblicazione: (2024)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
di: Jiang, Weipeng, et al.
Pubblicazione: (2024)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
di: Peng, Qiwei, et al.
Pubblicazione: (2024)

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

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
di: Yu, Simon, et al.
Pubblicazione: (2026)

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

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

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2025)

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

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
di: Kaushik, Kartik, et al.
Pubblicazione: (2024)

From Code to Career: Assessing Competitive Programmers for Industry Placement
di: Akib, Md Imranur Rahman, et al.
Pubblicazione: (2025)

An Effectively $Ω(c)$ Language and Runtime
di: Marron, Mark
Pubblicazione: (2024)

Evaluating the Language-Based Security for Plugin Development
di: Liang, Naisheng, et al.
Pubblicazione: (2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
di: Steffen, Bernhard, et al.
Pubblicazione: (2024)

A Roadmap for Tamed Interactions with Large Language Models
di: Scotti, Vincenzo, et al.
Pubblicazione: (2025)

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

Enhancing Translation Validation of Compiler Transformations with Large Language Models
di: Wang, Yanzhao, et al.
Pubblicazione: (2024)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
di: Galasso-Carbonnel, Jessie, et al.
Pubblicazione: (2023)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
di: Wang, Zhiyi, et al.
Pubblicazione: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

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

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