Wilhelm-Schickard-Institut

Programming Research Group

Research Projects

Research topics are: algebraic specification, semantics, verification, programming language design and implementation, programming environments, software engineering.

Current research projects are:

• Partial Evaluation
• Scheme requests for implementation
• Scheme 48
• Scsh
• El2scm

Klicken Sie hier für eine deutsche Version dieses Texts.

Address

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Sand 13

D-72076 Tübingen

Germany

Fon:

+49 7071 29-78955

Fax:

+49 7071 29-5082