Referenzsprachen

SML

• 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

Java

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

Ada

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

Prolog

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