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:

• Scheme 48
• XEmacs
• DMdA
• Automated Verification of low-level Pointer Programs
• HDFMAS
• PinWeb

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

Address

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Jasminweg 21

72076 Tübingen

GERMANY