MOVES: Software Modeling and Verification (Info 2)

	MOVES: Software Modeling and Verification (Informatik 2) Prof. Dr. Ir. Joost-Pieter Katoen
	Computer Science / RWTH / I2 / Teaching / Praktikum / SWPSS96 / Gofer
Home News Jobs Contact Staff Teaching Research MOVES Seminar DFG-GK AlgoSyn CS Chairs LuFG I2	Printer-friendly Gofer RWTH Aachen, FG Informatik, Lehrstuhl für Informatik II, Funktionales Progr. in Haskell Gofer Das Gofer-System ist ein Interpreter für eine kleine Haskell-ähnliche funktionale Programmiersprache. Gofer zum Kopieren FTP-Server Apple Macintosh Version Dokumentation Die Dokumentation zu Gofer ist ziemlich ausführlich. An Introduction to Gofer von Mark P. Jones, zu Version 2.20, 1991, 122 Seiten. Das Gofer-Benutzerhandbuch. Gofer 2.21 release notes von Mark P. Jones, November 1991, 19 Seiten. Änderungen gegenüber Version 2.20. Gofer 2.28 release notes von Mark P. Jones, Februar 1993, 45 Seiten. Änderungen gegenüber Version 2.21. Gofer 2.30a release notes von Mark P. Jones, 1994, 11 Seiten (auch in Postscript). Änderungen gegenüber Version 2.28. (Quelle) Olaf Chitil, Letzte Änderung: 5.4.96

[Mail]

Webmaster

Disclaimer

Last modified: 1996-04-05 16:00 UTC