Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
Fuente:
arXiv
Saved in:
| Main Authors: | Zhang, Weixing, Holtmann, Jörg, Strüber, Daniel, Hebig, Regina, Steghöfer, Jan-Philipp |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
EATXT: A textual concrete syntax for EAST-ADL
by: Zhang, Weixing, et al.
Published: (2024)
by: Zhang, Weixing, et al.
Published: (2024)
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
by: Zhang, Weixing, et al.
Published: (2025)
by: Zhang, Weixing, et al.
Published: (2025)
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
by: Zhang, Weixing, et al.
Published: (2026)
by: Zhang, Weixing, et al.
Published: (2026)
Development and Evolution of Xtext-based DSLs on GitHub: An Empirical Investigation
by: Zhang, Weixing, et al.
Published: (2025)
by: Zhang, Weixing, et al.
Published: (2025)
Towards Automated Support for the Co-Evolution of Meta-Models and Grammars
by: Zhang, Weixing
Published: (2023)
by: Zhang, Weixing
Published: (2023)
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
by: Zhang, Weixing, et al.
Published: (2026)
by: Zhang, Weixing, et al.
Published: (2026)
Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
by: Karapetyan, Daniel
Published: (2025)
by: Karapetyan, Daniel
Published: (2025)
Fast Deterministic Black-box Context-free Grammar Inference
by: Arefin, Mohammad Rifat, et al.
Published: (2023)
by: Arefin, Mohammad Rifat, et al.
Published: (2023)
Incremental Context-free Grammar Inference in Black Box Settings
by: Li, Feifei, et al.
Published: (2024)
by: Li, Feifei, et al.
Published: (2024)
Taming the Beast: Fully Automated Unit Testing with Coyote C++
by: Rho, Sanghoon, et al.
Published: (2024)
by: Rho, Sanghoon, et al.
Published: (2024)
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
by: Erata, Ferhat, et al.
Published: (2024)
by: Erata, Ferhat, et al.
Published: (2024)
Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
by: Melcer, Daniel, et al.
Published: (2024)
by: Melcer, Daniel, et al.
Published: (2024)
AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
by: Sun, Zhensu, et al.
Published: (2024)
by: Sun, Zhensu, et al.
Published: (2024)
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
by: Xia, Shihao, et al.
Published: (2026)
by: Xia, Shihao, et al.
Published: (2026)
ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
by: Si, Yuan, et al.
Published: (2025)
by: Si, Yuan, et al.
Published: (2025)
LPO: Discovering Missed Peephole Optimizations with Large Language Models
by: Xu, Zhenyang, et al.
Published: (2025)
by: Xu, Zhenyang, et al.
Published: (2025)
The Argument for Meta-Modeling-Based Approaches to Hardware Generation Languages
by: Schreiner, Johannes, et al.
Published: (2024)
by: Schreiner, Johannes, et al.
Published: (2024)
Automated Insertion of Flushes and Fences for Persistency
by: Guo, Yutong, et al.
Published: (2025)
by: Guo, Yutong, et al.
Published: (2025)
A Roadmap for Tamed Interactions with Large Language Models
by: Scotti, Vincenzo, et al.
Published: (2025)
by: Scotti, Vincenzo, et al.
Published: (2025)
Automated Code Editing with Search-Generate-Modify
by: Liu, Changshu, et al.
Published: (2023)
by: Liu, Changshu, et al.
Published: (2023)
RaceFixer -- An Automated Data Race Fixer
by: Malakar, Sanjay, et al.
Published: (2024)
by: Malakar, Sanjay, et al.
Published: (2024)
ProDebug: An Automated Debugging System for Prolog
by: Brancas, Ricardo, et al.
Published: (2026)
by: Brancas, Ricardo, et al.
Published: (2026)
Mica: Automated Differential Testing for OCaml Modules
by: Ng, Ernest, et al.
Published: (2024)
by: Ng, Ernest, et al.
Published: (2024)
The Stackage Repository: An Exploratory Study of its Evolution
by: Leger, Paul, et al.
Published: (2023)
by: Leger, Paul, et al.
Published: (2023)
Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)
by: Gorna, Karolina, et al.
Published: (2025)
ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
by: Yao, Bingkun, et al.
Published: (2025)
by: Yao, Bingkun, et al.
Published: (2025)
A Unified Framework for Automated Code Transformation and Pragma Insertion
by: Pouget, Stéphane, et al.
Published: (2024)
by: Pouget, Stéphane, et al.
Published: (2024)
Advancing Automated In-Isolation Validation in Repository-Level Code Translation
by: Ke, Kaiyao, et al.
Published: (2025)
by: Ke, Kaiyao, et al.
Published: (2025)
Automated Code Repair for C/C++ Static Analysis Alerts
by: Svoboda, David, et al.
Published: (2025)
by: Svoboda, David, et al.
Published: (2025)
MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
by: Sadr, Amirhosein, et al.
Published: (2026)
by: Sadr, Amirhosein, et al.
Published: (2026)
An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
by: Foalem, Patrick Loic, et al.
Published: (2026)
by: Foalem, Patrick Loic, et al.
Published: (2026)
Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
by: Antal, Gábor, et al.
Published: (2024)
by: Antal, Gábor, et al.
Published: (2024)
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
by: Erata, Ferhat, et al.
Published: (2024)
by: Erata, Ferhat, et al.
Published: (2024)
From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
by: Jiang, Weipeng, et al.
Published: (2024)
by: Jiang, Weipeng, et al.
Published: (2024)
Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)
by: Zhang, Hanliang, et al.
Published: (2024)
Faster than the Team, Faster than the Customer: Tool Integration, Collaboration, and Organisational Lag in AI-assisted RE
by: Steghöfer, Jan-Philipp
Published: (2026)
by: Steghöfer, Jan-Philipp
Published: (2026)
VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)
by: Yang, Aidan Z. H., 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)
by: Fayed, Mahmoud Samir
Published: (2025)
SynCode: LLM Generation with Grammar Augmentation
by: Ugare, Shubham, et al.
Published: (2024)
by: Ugare, Shubham, et al.
Published: (2024)
Prompts Blend Requirements and Solutions: From Intent to Implementation
by: Chakraborty, Shalini, et al.
Published: (2026)
by: Chakraborty, Shalini, et al.
Published: (2026)
Similar Items
-
EATXT: A textual concrete syntax for EAST-ADL
by: Zhang, Weixing, et al.
Published: (2024) -
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
by: Zhang, Weixing, et al.
Published: (2025) -
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
by: Zhang, Weixing, et al.
Published: (2026) -
Development and Evolution of Xtext-based DSLs on GitHub: An Empirical Investigation
by: Zhang, Weixing, et al.
Published: (2025) -
Towards Automated Support for the Co-Evolution of Meta-Models and Grammars
by: Zhang, Weixing
Published: (2023)