中文
相关论文

相关论文: Compiling Language Definitions: The ASF+SDF Compil…

200 篇论文

A typical compiler flow relies on a uni-directional sequence of translation/optimization steps that lower the program abstract representation, making it hard to preserve higher-level program information across each transformation step. On…

编程语言 · 计算机科学 2022-02-10 Vinicius Couto , Luciano Zago , Hervé Yviquel , Guido Araújo

A Sense/Compute/Control (SCC) application is one that interacts with the physical environment. Such applications are pervasive in domains such as building automation, assisted living, and autonomic computing. Developing an SCC application…

机器人学 · 计算机科学 2013-01-25 Damien Cassou , Serge Stinckwich , Pierrick Koch

This paper investigates the usefulness of PSF in software engineering and reengineering. PSF is based on ACP (Algebra of Communicating Processes) and as some architectural description languages are based on process algebra, we investigate…

软件工程 · 计算机科学 2007-12-19 Bob Diertens

Context-dependent rewrite rules are used in many areas of natural language and speech processing. Work in computational phonology has demonstrated that, given certain conditions, such rewrite rules can be represented as finite-state…

cmp-lg · 计算机科学 2008-02-03 Mehryar Mohri , Richard Sproat

In this paper, we present domain-specific languages (DSLs) that we devised for their use in the implementation of a finite domain constraint programming system, available as library(clpfd) in SWI-Prolog and YAP-Prolog. These DSLs are used…

人工智能 · 计算机科学 2011-08-31 Markus Triska

A compiler processes the code written in a high level language and produces machine executable code. The compiler writers often face the challenge of keeping the compilation times reasonable. That is because aggressive optimization passes…

编程语言 · 计算机科学 2019-05-30 Sanket Tavarageri

Domain-specific languages are becoming increasingly important. Almost every application touches multiple domains. But how to define, use, and combine multiple DSLs within the same application? The most common approach is to split the…

编程语言 · 计算机科学 2016-12-13 Piotr Danilewski , Philipp Slusallek

Programming robots is a complicated and time-consuming task. A robot is essentially a real-time, distributed embedded system. Often, control and communication paths within the system are tightly coupled to the actual physical configuration…

机器人学 · 计算机科学 2014-01-08 Thomas Buchmann , Johannes Baumgartl , Dominik Henrich , Bernhard Westfechtel

Domain Specific Languages are used to provide a tailored modelling notation for a specific application domain. There are currently two main approaches to DSLs: standard notations that are tailored by adding simple properties; new notations…

软件工程 · 计算机科学 2015-06-11 Tony Clark

Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search…

编程语言 · 计算机科学 2018-08-24 Ingmar Dasseville , Marc Denecker

Optimizing compilers are essential for the efficient and correct execution of software across various scientific fields. Domain-specific languages (DSL) typically use higher level intermediate representations (IR) in their compiler…

编程语言 · 计算机科学 2026-01-15 Berke Ates , Philipp Schaad , Timo Schneider , Alexandru Calotoiu , Torsten Hoefler

BACKGROUND: Modern distributed systems replicate data across multiple execution sites. Business requirements and resource constraints often necessitate mixing different languages across replica sites. To facilitate the management of…

分布式、并行与集群计算 · 计算机科学 2025-12-02 Provakar Mondal , Eli Tilevich

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…

数学软件 · 计算机科学 2022-04-28 Sandra Macià , Pedro J. Martıínez-Ferrer , Eduard Ayguadé , Vicenç Beltran

We report on a one-semester compiler construction course based on the idea of implementing a small self-contained compiler for a small model language from scratch, not using other compiler construction frameworks. The course is built around…

编程语言 · 计算机科学 2022-07-27 Daniil Berezun , Dmitry Boulytchev

External or internal domain-specific languages (DSLs) or (fluent) APIs? Whoever you are -- a developer or a user of a DSL -- you usually have to choose your side; you should not! What about metamorphic DSLs that change their shape according…

编程语言 · 计算机科学 2014-04-29 Mathieu Acher , Benoit Combemale , Philippe Collet

Many texts, especially in chemistry and biology, describe complex processes. We focus on texts that describe a chemical reaction process and questions that ask about the process's outcome under different environmental conditions. To answer…

计算与语言 · 计算机科学 2022-04-19 Gal Peretz , Kira Radinsky

Runtime-reconfigurable software coupled with reconfigurable hardware is highly desirable as a means towards maximizing runtime efficiency without compromising programmability. Compilers for such software systems are extremely difficult to…

软件工程 · 计算机科学 2022-03-30 Hongkuan Zhou , Ajitesh Srivastava , Rajgopal Kannan , Viktor Prasanna

Domain specific languages (DSLs) are increasingly used today. Coping with complex language definitions, evolving them in a structured way, and ensuring their error freeness are the main challenges of DSL design and implementation. The use…

软件工程 · 计算机科学 2014-09-09 Holger Krahn , Bernhard Rumpe , Stefan Völkel

The SignWriting improved fast transcriber (SWift), presented in this paper, is an advanced editor for computer-aided writing and transcribing of any Sign Language (SL) using SignWriting (SW). The application is an editor which allows…

计算与语言 · 计算机科学 2019-11-25 Fabrizio Borgia , Claudia S. Bianchini , Patrice Dalle , Maria de Marsico

In this paper we outline how a simple compiler can be completely specified using higher order rewriting in all stages: parsing, analysis/optimization, and code emission, specifically using the crsx.sf.net system for a small declarative…

计算机科学中的逻辑 · 计算机科学 2011-02-21 Kristoffer H. Rose