15 papers · ranked by Valyu relevance
Qingyuan Liang, Zhao Zhang, Zeyu Sun, Zheng Lin + 8 more
'Yueyi Xiao' 'Yizhou Chen' 'Yuqun Zhang' 'Haotian Zhang' 'Lu Zhang' 'Bin Chen' 'Yingfei Xiong'] Grammar serves as a cornerstone in programming languages and software engineering, providing frameworks to define the syntactic space and program structure. Existing research demonstrates the effectiveness of grammarbased…
Yihong Dong, Xue Jiang, Yuchen Liu, Ge Li + 1 more
In the process of code generation, it is essential to guarantee the generated code satisfies grammar constraints of programming language (PL). However, neglecting grammar constraints is a fatal drawback of commonly used sequence-based code generation. In this paper, we devise a pushdown automaton (PDA)-based…
Mohammad Jalili Torkamani
Understanding and extracting the grammar of a domainspecific language (DSL) is crucial for various software engineering tasks; however, manually creating these grammars is time-intensive and error-prone. This paper presents Kajal, a novel approach that automatically infers grammar from DSL code snippets by leveraging…
Jinsheng Ba, Sverrir Thorgeirsson, Zhendong Su
Recent advances in Large Language Models (LLMs) have introduced a new paradigm for software development, where source code is generated directly from natural language prompts. While this paradigm significantly boosts development productivity, building complex, real-world software systems remains challenging because…
Zhao Zhang, Qingyuan Liang, Zeyu Sun, Yizhou Chen + 5 more
ZHAO ZHANG, Peking University, China QINGYUAN LIANG, Peking University, China ZEYU SUN, Institute of Software, Chinese Academy of Sciences, China YIZHOU CHEN, Peking University, China GUOQING WANG, Peking University, China YICAN SUN, Peking University, China LU ZHANG, Peking University, China GE LI, Peking University…
Michael Schröder, Jürgen Cito
Ad hoc parsers are everywhere: they appear any time a string is split, looped over, interpreted, transformed, or otherwise processed. Every ad hoc parser gives rise to a language: the possibly infinite set of input strings that the program accepts without going wrong. Any language can be described by a formal grammar…
Tobias Kuhn
Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such…
Matteo Ciccaglione, Pierciro Caliandro, Alessandro Pellegrini
In this article, we present Tahr, a framework that allows taking attribute grammar specifications and generating a set of software artefacts that can be used programmatically to operate on text compliant with the grammars. Tahr can be used as an algorithmic workbench to test different manipulations of attribute…
Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner
Black-box context-free grammar inference is a hard problem as in many practical settings it only has access to a limited number of example programs. The state-of-the-art approach Arvada heuristically generalizes grammar rules starting from flat parse trees and is non-deterministic to explore different generalization…
Feifei Li, Xiao Chen, Xi Xiao, Xiaoyu Sun + 3 more
'Shaohua Wang' 'Jitao Han'] Black-box context-free grammar inference presents a significant challenge in many practical settings due to limited access to example programs. The state-of-the-art methods, Arvada and Treevada, employ heuristic approaches to generalize grammar rules, initiating from flat parse trees and…
Vadim Zaytsev
| 1 | Introduction | | 1 | | --- | --- | --- | --- | | 2 | Preliminaries | | 1 | | | 2.1 | Background notions | 1 | | | 2.2 | Major contributions in a nutshell | 2 | | | 2.3 | Selected minor contributions | 3 | | | 2.4 | Motivation for this report | 4 | | 3 | | Topics overview | 5 | | | 3.1 | Guided grammar convergence…
Luis Quesada, Fernando Berzal, Francisco J. Cortijo
Traditional language processing tools constrain language designers to specific kinds of grammars. In contrast, model-based language processing tools decouple language design from language processing. These tools allow the occurrence of lexical and syntactic ambiguities in language specifications and the declarative…
Weixing Zhang, Jan-Philipp Steghöfer, Regina Hebig, Daniel Strüber
—Metamodel-based DSL development in language workbenches like Xtext allows language engineers to focus more on metamodels and domain concepts rather than grammar details. However, the grammar generated from metamodels often requires manual modification, which can be tedious and timeconsuming. Especially when it comes…
Weixing Zhang, Jörg Holtmann, Regina Hebig, Jan-Philipp Steghöfer
In model-driven engineering, developing a textual domain-specific language (DSL) involves constructing a meta-model, which defines an underlying abstract syntax, and a grammar, which defines the concrete syntax for the DSL. Language workbenches such as Xtext allow the grammar to be automatically generated from the…
Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner
Black-box context-free grammar inference is crucial for program analysis, reverse engineering, and security, yet existing tools such as Arvada, TreeVada, and Kedavra struggle with scalability, readability, and accuracy on large, complex languages. We present NatGI, a novel LLM-guided grammar inference framework that…