Domain-specific languages (DSLs) have already proved useful in many application areas. This talk will cover a range of issues in the design of DSLs and illustrate them using personal experience with the design of Esterel, which belongs to the class of synchronous reactive languages.

BDL: A Language to Control the Behavior of Concurrent Objects
Frédéric Bertrand and Michel Augeraud, Université de la Rochelle

A Domain-Specific Language for Regular Sets of Strings and Trees
Nils Klarlund, AT&T Labs Research and Michael I. Schwartzbach, University of Aarhus

A Modular Monadic Action Semantics
Keith Wansbrough and John Hamer, University of Auckland

SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation
Marco Antoniotti and Aleks Göllü, University of California at Berkeley

Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing
Luc Moreau, University of Southampton, and Christian Queinnec, Université de Paris 6, INRIA-Rocquencourt

Domains of Concern in Software Architectures and Architecture Description Languages
Nenad Medvidovic and David S. Rosenblum, University of California, Irvine

A The Zephyr Abstract Syntax Description Language
Daniel C. Wang, Andrew W. Appel, Jeff L. Korn, and Chris S. Serra, Princeton University

ASTLOG: A Language for Examining Abstract Syntax Trees
Roger F. Crew, Microsoft Research

KHEPERA: A System for Rapid Implementation of Domain-Specific Languages
Rickard E. Faith, Lars S. Nyland, and Jan F. Prins, University of North Carolina at Chapel Hill

This talk will present Intentional Programming (IP). IP is a new way of representing a program as an abstract tree of nodes, where each node identifies what intention it is an instance of, and each intention defines, by user-definable methods, how it should look to the programmer and how it should be implemented. Because looks (formerly called "syntax") and implementation (formerly called "semantics") are infinitely variable, the only invariant is the computational intent in the programmer's mind, which the intention represents.

IP can be thought of as an ecology for abstractions. In contrast with programming languages, in IP the emergence of new abstractions does not invalidate existing legacy code. This talk will show how IP supports the speedier evolution of new domain-specific abstractions that simplify software engineering problems such as reuse, portability, and reliability.