Comparing Static Semantics Specifications for the IceDust DSL: A Case Study of Statix

Reusable tools for engineering software languages can bridge the gap between formal specification and implementation, lowering the bar for engineers to design and implement programming languages. Among such tools belong NaBL2 and its successor Statix, which are meta-languages for declaratively specifying the static semantics of programming...

Ultra-low-frequency radio astronomy observations from a Seleno-centric orbit: First results of the Longjiang-2 experiment

This paper introduces the first results of observations with the Ultra-Long-Wavelength (ULW) —- Low Frequency Interferometer and Spectrometer (LFIS) on board the selenocentric satellite Longjiang-2. We present a brief description of the satellite and focus on the LFIS payload. The in-orbit commissioning confirmed a reliable operational status...

A Hybrid Magnetic Current Sensor With a Dual Differential DC Servo Loop

This article presents a hybrid magnetic current sensor for contactless current measurement. Pick-up coils and Hall plates are employed to sense the high and low-frequency fields, respectively, generated by a current-carrying conductor. Due to the differentiating characteristic of the pick-up coils, a flat frequency response can then be...

Modernizing the WebDSL Front-End: A Case Study in SDF3 and Statix

The front-end of a compiler reads the source program and performs analyses such as type checking. The goal of the front-end is to check for the presence of syntactic and semantic errors before the program is passed to the back-end of the compiler for tasks such as optimization and code generation.<br/><br/>WebDSL is a domain-specific language...

Enhancing PowerFactory Dynamic Models with Python for Rapid Prototyping

DIgSILENT PowerFactory is among the most widely adopted power system analysis tools in research and industry. It provides a comprehensive library of device models and it allows users to define their own. Models for dynamic simulation can be defined in the DIgSILENT Simulation Language (DSL). When the functionality of DSL is insufficient, new...

Language-parametric Techniques for Language-Specific Editors

The goal of this dissertation is to develop techniques that simplify the implementation of tool support for new languages. More specifically, we focus on language-parametric solutions for the implementation of language-specific editor support. In the first part of this dissertation we investigate generic techniques to recover from syntax errors...

A Generative Approach for Data Synchronization between Web and Mobile Applications

Mobile developement is a relatively new and popular domain for applications. An increasing amount of web applications are releasing a mobile variant of their application, which requires sharing of data. Currently, the creation of a mobile version can be done in two ways: a specialized web UI for mobile devices, which lacks good abstractions for...

A Domain-Specific Language for Internal Site Search

The importance of search facilities on a website grows with the size of the content being served. User expectations for internal site search are greatly influenced by global web search engines, requiring developers of web applications to go beyond basic search functionality. In this thesis, a domain-specific language (DSL) for internal site...

ORM Optimization through Automatic Prefetching in WebDSL

Object-Relational Mapping (ORM) frameworks can be used to fetch entities from a relational database. The entities that are referenced through properties are normally not fetched initially, instead they are fetched automatically by the ORM framework, when they are used by the application. This is called lazy-fetching and can result in many...

The MetaForma Language: A DSL to Program the ATRON Self-Reconfigurable Robot

Self-reconfigurable modular robots are mechatronic devices that have the capability to modify their own shape. They have a promising potential as a result of being able to solve a wider range of problems. However, programming self-reconfigurable robots is in general a difficult task. General-purpose languages like ANSI-C or Java provide only...

Understanding the dynamics of broadband markets: A comparative case study of Flanders and the Netherlands

The Digital Agenda for Europe sets out clear goals for providing high speed broadband to all its residents, but leaves the implementation of this plan to the individual Member States. Because of large economic, cultural and political differences, the roads to realizing these ambitious goals are varying in between these Member States. This paper...

Analysis of high-volume traffic using Complex Event Processing and a Domain Specific Language

In the online travel environment it is physically and economically not possible to retrieve the hotel room rates in real-time for every customer request. To overcome this problem the hotel rates are cached, but due to the fact that the suppliers will not send notifications of price changes it is a challenging task to keep the cache up to date....

Static analyses for Stratego programs

Model driven software development is gaining momentum in the software engineering world. One approach to model driven software development is the design and development of domain-specific languages allowing programmers and users to spend more time on their core business and less on addressing non problem- specific issues. Language workbenches...

Methods and Techniques for the Design and Implementation of Domain-Specific Languages

Domain-Specific Languages (DSLs) are programming language aimed at a particular problem domain, e.g. banking, database querying or website page lay-outs. Through the use of high-level concepts, a DSL raises the level of abstraction and expressive power of the programmer, and reduces the size of programs. This dissertation covers various aspects...

A Case Study in DSL Re-targetability

Domain-specific language is a computer programming language of limited expressiveness focused on a particular domain. By focusing on domain concepts, there is a little need to care about non-essential details during software development process. One non-essential aspect that developers are mostly willing to dispose of is a target platform on...

Code generation by model transformation: A case study in transformation modularity

The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for improving separation of concerns in the implementation of generators. The core technique is code generation by model transformation, that is, the generation of a...

Code Generation by Model Transformation: A Case Study in Transformation Modularity

Preprint of paper published in: Theory and Practice of Model Transformations (ICMT 2008), Lecture Notes in Computer Science 5063; doi:10.1007/978-3-540-69927-9_13 The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for...

Separation of Concerns in Web User Interface Design

Web User interfaces must be able to handle the output of the web application itself and the input from its users. For this reason, user interfaces have to cope with the complexity of both the application and the users. Furthermore, user interface design is an expensive, complex, and time consuming process. Specifying the appearance of web...