Ralf Lämmel Syntax, Semantics, and Metaprogramming Page 1 Software Languages Ralf
Lämmel Syntax, Semantics, and Metaprogramming Page 2 Software Languages Page 3 Ralf …

In this thesis I present the choice calculus, a formal language for representing variation in
software and other structured artifacts. The choice calculus is intended to support variation …

In this paper we describe composition of a corpus of grammars in a broad sense in order to
enable reuse of knowledge accumulated in the field of grammarware engineering. The …

This chapter is dedicated to discussing the engineering aspects involved in the integration of
modeling languages, as an essential part of the globalization process. It covers the …

Programming languages drive most if not all of modern problem-solving using
computational methods and power. Research into new programming languages and …

Convention dictates that the design of a language begins with its syntax. The authors of this
chapter argue that early emphasis should be placed instead on the identification of general …

Cyber-physical systems are systems that are interactions of computation with physical
processes. They are incredibly complex and multidisciplinary, and thus benefit from models …

At present, the “testing community” is on good speaking terms, but typically lacks a common
language for expressing some computational ideas, even in cases where such a language …

The choice calculus is a simple metalanguage and associated theory that has been
successfully applied to several problems of interest to the feature-oriented software …

Many programming tasks are dramatically simpler when an appropriate domain-specific
language can be used to accomplish them. These languages offer a variety of potential …