Referenzsprachen

Ada

• Installation unter Linus (Rechner x01 bis x30) /usr/local/pub-bkb/gnat/bin/gnatmake
• Compiler (Linux, Windows, Solaris)
• The Big Online Book of Linux Ada Programming
• Ada 95 Reference Manual

Eiffel

• Solaris-Installation unter /usr/local/pub-bkb/SmallEiffel Pakete unter /usr/local/pub-bkb/SmallEiffel/doc
• Bertrand Meyers homepage, Mit Link auf "Eiffel - The Language, Second Edition". Wichtig sind die Kapitel "Eiffel in a Nutshell" und "Eiffel Tutorial".
• Eiffel Syntax, Second Edition (Gobosoft)
• Allgemeines zu Eiffel

Java

• James Gosling, Bill Joy, Guy Steele, Gilad Bracha: The Java Language Specification, Second Edition

Standard ML

• Solaris-Installation: /usr/local/pub-bkb/bin/sml-cm bzw. /usr/local/pub-bkb/bin/sml
• Robert Harper: Programming in Standard ML
• The Standard ML Basis Library

Haskell (auf meiner Seite zu "PI3 - Funktionale Programmierung")

Prolog

• Solaris-Installation: /usr/local/lang/Prolog/bin/pl
• SWI-Prolog 5.0.9 Reference Manual