Cover Image

EATXT: A textual concrete syntax for EAST-ADL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Weixing, Holtmann, Jörg, Strüber, Daniel, Steghöfer, Jan-Philipp
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
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)

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
by: Zhang, Weixing, et al.
Published: (2026)

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)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
by: Rho, Sanghoon, et al.
Published: (2024)

Prompts Blend Requirements and Solutions: From Intent to Implementation
by: Chakraborty, Shalini, et al.
Published: (2026)

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

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

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
by: Geng, Chuqin, et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
by: Xu, Ning, et al.
Published: (2026)

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

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
by: Cui, Baoquan, et al.
Published: (2025)

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

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
by: Si, Yuan, et al.
Published: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)

WDD: Weighted Delta Debugging
by: Zhou, Xintong, et al.
Published: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
by: Qiu, Ruidi, et al.
Published: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

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

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

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

A Shallow Embedding of Datalog in Lean
by: Shahin, Ramy
Published: (2026)

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

PoTo: A Hybrid Andersen's Points-to Analysis for Python
by: Rak-amnouykit, Ingkarat, et al.
Published: (2024)

A Trace-based Approach for Code Safety Analysis
by: Xu, Hui
Published: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
by: Montesi, Fabrizio, et al.
Published: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
by: Pouget, Stéphane, et al.
Published: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
by: Zhu, Qian, et al.
Published: (2025)

React-tRace: A Semantics for Understanding React Hooks
by: Lee, Jay, et al.
Published: (2025)

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