English
Related papers

Related papers: Towards a DSL for Perception-Based Safety Systems

200 papers

Despite the widespread utilization of deep neural networks (DNNs) for speech emotion recognition (SER), they are severely restricted due to the paucity of labeled data for training. Recently, segment-based approaches for SER have been…

Audio and Speech Processing · Electrical Eng. & Systems 2021-03-31 Shuiyang Mao , P. C. Ching , Tan Lee

As recent programming languages provide improved conciseness and flexibility of syntax, the development of embedded or internal Domain-Specific Languages has increased. The field of Modeling and Simulation has had a long history of…

Programming Languages · Computer Science 2011-12-09 Michael E. Cotterell , John A. Miller , Tom Horton

Augmenting text-based programming with rich structured interactions has been explored in many ways. Among these, projectional editors offer an enticing combination of structure editing and domain-specific program visualization. Yet such…

Human-Computer Interaction · Computer Science 2023-07-24 Andrew McNutt , Ravi Chugh

Sign Language (SL) automatic processing slowly progresses bottom-up. The field has seen proposition to handle the video signal, to recognize and synthesize sublexical and lexical units. It starts to see the development of supra-lexical…

Computation and Language · Computer Science 2014-03-19 Rémi Dubot , Christophe Collet

Recent research in synthesis of programs written in some Domain Specific Language (DSL) by means of neural networks from a limited set of inputs-output correspondences such as DeepCoder and its PCCoder reimplementation/optimization proved…

Programming Languages · Computer Science 2021-07-26 Dan Hernest

Large language models (LLMs) perform strongly on general-purpose code generation, yet their applicability to enterprise domain-specific languages (DSLs) remains underexplored, especially for repository-scale change generation spanning…

Software Engineering · Computer Science 2026-04-28 Sivajeet Chand , Kevin Nguyen , Peter Kuntz , Alexander Pretschner

Speculative decoding is a technique that uses multiple language models to accelerate infer- ence. Previous works have used an experi- mental approach to optimize the throughput of the inference pipeline, which involves LLM training and can…

Computation and Language · Computer Science 2026-03-13 Amirhossein Bozorgkhoo , Igor Molybog

Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable exception of recent and on-going efforts by Joost-Pieter Katoen and…

Logic in Computer Science · Computer Science 2024-12-03 Einar Broch Johnsen , Eduard Kamburjan , Raúl Pardo , Erik Voogd , Andrzej Wąsowski

In many application domains, domain-specific languages can allow domain experts to contribute to collaborative projects more correctly and efficiently. To do so, they must be able to understand program structure from reading existing source…

Programming Languages · Computer Science 2025-11-18 Philip Heltweg , Georg-Daniel Schwarz , Dirk Riehle

In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional programming language and to systematically define and execute tests…

Software Engineering · Computer Science 2014-09-24 Borislav Gajanovic , Hans Grönninger , Bernhard Rumpe

Measuring time in mass sports competitions is usually performed using expensive measuring devices. Unfortunately, these solutions are not acceptable by many organizers of sporting competitions. In order to make the measuring time as cheap…

Programming Languages · Computer Science 2012-08-22 Iztok Fister , Tomaž Kosar , Marjan Mernik , Iztok Fister

Neurosymbolic approaches can add robustness to opaque neural systems by incorporating explainable symbolic representations. However, previous approaches have not used formal logic to contextualize queries to and validate outputs of large…

Computation and Language · Computer Science 2024-09-19 Priyesh Vakharia , Abigail Kufeldt , Max Meyers , Ian Lane , Leilani Gilpin

Property Specification Language (PSL) is a form of temporal logic that has been mainly used in discrete domains (e.g. formal hardware verification). In this paper, we show that by merging machine learning techniques with PSL monitors, we…

Machine Learning · Computer Science 2022-05-30 Kevin Smith , Hai Lin , Praveen Tiwari , Marjorie Sayer , Claudionor Coelho

This paper presents the development and evaluation of ChatHome, a domain-specific language model (DSLM) designed for the intricate field of home renovation. Considering the proven competencies of large language models (LLMs) like GPT-4 and…

Computation and Language · Computer Science 2023-07-31 Cheng Wen , Xianghui Sun , Shuaijiang Zhao , Xiaoquan Fang , Liangyu Chen , Wei Zou

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…

Software Engineering · Computer Science 2024-02-01 Weixing Zhang , Jörg Holtmann , Daniel Strüber , Regina Hebig , Jan-Philipp Steghöfer

Large Language Models (LLMs) have quickly risen to prominence due to their ability to perform at or close to the state-of-the-art in a variety of fields while handling natural language. An important field of research is the application of…

Cryptography and Security · Computer Science 2024-02-28 Gabriel de Jesus Coelho da Silva , Carlos Becker Westphall

The production process of data-centric infographics entails problems related to a disconnection between the supporting software environments. We investigate those problems and redesigns this process following the model-driven paradigm. We…

Software Engineering · Computer Science 2022-03-18 Sergio España , Vijanti Ramautar , Sietse Overbeek , Tijmen Derikx

Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications are stated and an interpretation function that translates…

Logic in Computer Science · Computer Science 2023-10-06 Natalia Ślusarz , Ekaterina Komendantskaya , Matthew L. Daggitt , Robert Stewart , Kathrin Stark

There has been substantial growth in the use of JSON-based grammars, as well as other standard data serialization languages, to create visualizations. Each of these grammars serves a purpose: some focus on particular computational tasks…

Human-Computer Interaction · Computer Science 2022-07-19 Andrew McNutt

The creation of Domain Specific Languages(DSL) counts as one of the main goals in the field of Model-Driven Software Engineering (MDSE). The main purpose of these DSLs is to facilitate the manipulation of domain specific concepts, by…

Software Engineering · Computer Science 2014-05-28 Fouquet Francois , Grégory Nain , Brice Morin , Erwan Daubert , Olivier Barais , Noël Plouzeau , Jean-Marc Jézéquel