Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.


Configurable Systems
Seminar SS 2004

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page

This seminar looks at configuration of software at compile and run time. At compile time, configuration is concerned with selecting the right modules for compilation and linking, creating special versions for debugging, profiling, and production on different machines. This task is typically managed by Make-like tools and we will look at what has happened since Make was invented in 1972. Embedding an interpreter for a small language into an application is a systematical way to obtain applications that are flexible at run-time; they may be even programmed by the end user. We will look at languages especially designed for embedding and the corresponding application architectures.

Besides covering the topics outlined above, the seminar aims to improve a student's ability to read, criticize, and write papers. Therefore, the seminar is organized into two phases:

  1. During the first phase, we will collectively read, discuss, and criticize papers during our weekly meeting. I'm expecting participants to ask and answer questions about papers during meetings and will hand out writing exercises. Typically I'll hand out papers at a meeting and expect participants to have read them until the next meeting where we are going to discuss them.
  2. In the second phase, each participant picks a topic from the papers we have read and tries to apply it to a self-chosen problem. The seminar ends with a short presentation of the experience at the end of the semester.


  • The seminar is taught by Christian Lindig.
  • Participants will receive 9 credit points for successful participation.
  • The number of participants is limited to about 12; you can send me an email to sign up tentatively for the seminar and to receive announcements for forthcoming details.
  • Dates: we will meet weekly on Wednesdays from 2pm to 4pm at the seminar room S-328, building 45.
  • The first meeting will be during the first week of the semester, on
    Wednesday, April 21, 2pm-4pm st, room 328, building 45.



Introduction to the course; organization, work load.
Questions about A Scrutinity of the Abstract (group work)
Assignment for Make -- A Program for Maintaining Computer Programs.
A summary of Make -- A Program for Maintaining Computer Programs.
Questions about Make (group work)
Assignment for Recursive Make Considered Harmful
Summary of Recursive Make Considered Harmful
Questions about Recursive Make Considered Harmful (group work)
Assignment for Cons
Summary of Cons
Questions about Cons
Assignment for Caching Function Calls Using Precise Dependencies by Heydon et al.
Summary of Vesta
Questions about Vesta (group work)
Propose a small project related to software building
Assignment for Tcl: An Embeddable Command Language
Summary of Tcl: An Embeddable Command Language
Questions about Tcl (group work)
Assignment for Scheme as a C Library by B. W. Brenson Jr.; the Scheme Quick Reference might be useful
Questions about libscheme (group work)
Summary of libscheme: Scheme as a C library
Assignment for Lua--an extensible extension language by Roberto Ierusalimschy et al.
Summary of Lua--an extensible extension language
Questions about Lua (group work)
Assignment for Embedding an Interpreted Language Using Higher-Order Functions and Types.
Summary of Embedding an Interpreted Language Using Higher-Order Functions and Types.
Questions about Embedding an Interpreted Language Using Higher-Order Functions and Types (group work)

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/config-ss04/ · Stand: 2018-04-05 13:40