English
Related papers

Related papers: Well-typed Islands Parse Faster

200 papers

The article presents a technology for dynamic knowledge-based building of Domain-Specific Languages (DSL) to describe data-intensive scientific discovery tasks using BigData technology. The proposed technology supports high level abstract…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-03-21 Sergey V. Kovalchuk , Artem V. Zakharchuk , Jiaqi Liao , Sergey V. Ivanov , Alexander V. Boukhanovsky

Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific languages (DSL) that are engineered to help the synthesizer,…

Formal Languages and Automata Theory · Computer Science 2022-08-30 Anvay Grover , Ruediger Ehlers , Loris D'Antoni

When creating a new domain-specific language (DSL) it is common to embed it as a part of a flexible host language, rather than creating it entirely from scratch. The semantics of an embedded DSL (EDSL) is either given directly as a set of…

Programming Languages · Computer Science 2016-12-06 Piotr Danilewski , Philipp Slusallek

In-context learning (ICL) is an appealing approach for semantic parsing due to its few-shot nature and improved generalization. However, learning to parse to rare domain-specific languages (DSLs) from just a few demonstrations is…

Computation and Language · Computer Science 2024-03-29 Ben Bogin , Shivanshu Gupta , Peter Clark , Ashish Sabharwal

The process of designing neural architectures requires expert knowledge and extensive trial and error. While automated architecture search may simplify these requirements, the recurrent neural network (RNN) architectures generated by…

Computation and Language · Computer Science 2017-12-22 Martin Schrimpf , Stephen Merity , James Bradbury , Richard Socher

Our environment, whether at work, in public spaces, or at home, is becoming more connected, and increasingly responsive. Meal preparation even when it involves simply heating ready-made food can be perceived as a complex process for people…

Human-Computer Interaction · Computer Science 2021-06-22 Matteo Zallio , Paula Kelly , Barry Cryan , Damon Berry

Efforts to improve the performance of services on the transaction at a bank can be done by performing data retention, reduce the volume of data in the database production by cutting the historical data in accordance with the rules in a bank…

Databases · Computer Science 2023-06-19 Muhamad Taufan , I Made Wiryana

This paper presents \tdl, a typed feature-based representation language and inference system. Type definitions in \tdl\ consist of type and feature constraints over the boolean connectives. \tdl\ supports open- and closed-world reasoning…

cmp-lg · Computer Science 2019-08-15 Hans-Ulrich Krieger , Ulrich Schäfer

The First International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob'10) was held at the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'10), October 2010 in Taipei, Taiwan. The…

Robotics · Computer Science 2011-02-23 Ulrik P. Schultz , Serge Stinckwich , Mikal Ziane

Data-driven systems depend on task-relevant data, yet data collection pipelines remain passive and indiscriminate. Continuous logging of multimodal sensor streams incurs high storage costs and captures irrelevant data. This paper proposes a…

Databases · Computer Science 2026-04-16 Philipp Reis , Philipp Rigoll , Martin Zehetner , Jacqueline Henle , Stefan Otten , Eric Sax

Domain-specific languages (DSLs) are touted as both easy to embed in programs and easy to optimize. Yet these goals are often in tension. Embedded or internal DSLs fit naturally with a host language, while inheriting the host's performance…

Programming Languages · Computer Science 2021-07-16 Rajan Walia , Chung-chieh Shan , Sam Tobin-Hochstadt

With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity for a few experts only and becomes a challenging task for thousands of software engineers. DSL implementation…

Software Engineering · Computer Science 2018-07-06 Jean-Marc Jézéquel , Benoit Combemale , Olivier Barais , Martin Monperrus , François Fouquet

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that…

Software Engineering · Computer Science 2015-11-26 Sarmen Keshishzadeh , Arjan J. Mooij , Jozef Hooman

Domain Specific Languages (DSLs) can contribute to increment productivity, while reducing the required maintenance and programming expertise. We hypothesize that Software Languages Engineering (SLE) developers consistently skip, or relax,…

Software Engineering · Computer Science 2016-11-25 Pedro Gabriel , Miguel Goulão , Vasco Amaral

We present MathDSL, a Domain-Specific Language (DSL) for mathematical equation solving, which, when deployed in program synthesis models, outperforms state-of-the-art reinforcement-learning-based methods. We also introduce a quantitative…

Machine Learning · Computer Science 2024-12-12 Sagnik Anupam , Maddy Bowers , Omar Costilla-Reyes , Armando Solar-Lezama

Domain-Specific Languages (DSLs) improve programmers productivity by decoupling problem descriptions from algorithmic implementations. However, DSLs for High-Performance Computing (HPC) have two additional critical requirements: performance…

Mathematical Software · Computer Science 2022-04-28 Sandra Macià , Pedro J. Martıínez-Ferrer , Eduard Ayguadé , Vicenç Beltran

In this paper, we present how we created a Domain Specific Language (DSL) dedicated to IP Multimedia Subsystem (IMS) at Ericsson. First, we introduce IMS and how developers are burdened by its complexity when integrating it in their…

Software Engineering · Computer Science 2015-09-28 Pascal Potvin , Mario Bonja , Gordon Bailey , Pierre Busnel

Sentence Pattern Structure (SPS) parsing is a syntactic analysis method primarily employed in language teaching.Existing SPS parsers rely heavily on textbook corpora for training, lacking cross-domain capability.To overcome this constraint,…

Computation and Language · Computer Science 2024-04-09 Jingsi Yu , Cunliang Kong , Liner Yang , Meishan Zhang , Lin Zhu , Yujie Wang , Haozhe Lin , Maosong Sun , Erhong Yang

Domain-specific languages (DSLs) mediate interactions between interactive proof assistants and external automation, but translating between the prover's internal representation and such DSLs is a tedious engineering chore. To simplify this…

Logic in Computer Science · Computer Science 2026-03-02 Tate Rowney , Riyaz Ahuja , Jeremy Avigad , Sean Welleck

As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial…

Programming Languages · Computer Science 2012-04-04 Jacob Beal , Stefan Dulman , Kyle Usbeck , Mirko Viroli , Nikolaus Correll