MOVES: Software Modeling and Verification (Info 2)

	MOVES: Software Modeling and Verification (Informatik 2) Prof. Dr. Ir. Joost-Pieter Katoen
	Computer Science / RWTH / I2 / Research / BABEL
Home News Jobs Contact Staff Teaching Research MOVES Seminar DFG-GK AlgoSyn CS Chairs LuFG I2	Printer-friendly BABEL Die funktional-logische Programmiersprache BABEL Integration funktionaler und logischer Sprachen Funktionale und Logik-Programmiersprachen bieten gegenüber den konventionellen Programmiersprachen viele Vorteile und sind vor allem für Anwendungen in der symbolischen Datenverarbeitung wichtig. Man fasst sie unter dem Oberbegriff deklarative Programmiersprachen zusammen, um die enge Verwandtschaft der beiden Programmierparadigmen zum Ausdruck zu bringen. Somit ist es naheliegend, dass seit einigen Jahren grosses Interesse an der Entwicklung von Sprachen besteht, in denen man funktional und logisch programmieren kann. Solche funktional-logischen Sprachen bieten gegenüber rein funktionalen Sprachen eine höhere Ausdrucksmächtigkeit. Gegenüber reinen Logik-Sprachen erlauben sie eine effizientere Handhabung von deterministischen Beziehungen. BABEL Die Sprache BABEL ist eine funktional-logische Sprache, die 1988 von Mario Rodriguez-Artalejo (Universidad Complutense de Madrid) und Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid) entwickelt wurde. In BABEL wird eine uniforme Integration des funktionalen und des logischen Programmierstils erreicht. Die Kernidee besteht darin, den Auswertungsmechanismus funktionaler Sprachen zu verallgemeinern, indem zur Parameterübergabe die aus den Logik-Sprachen bekannte Unifikation verwendet wird. Eine Einführung in die Semantik und Implementierung von BABEL wird in dem neu erschienenen Lehrbuch Rita Loogen: Integration funktionaler und logischer Programmiersprachen, Oldenbourg Verlag 1995 gegeben. Das Babel-System wurde an der RWTH Aachen implementiert und steht jedem Interessenten zur Verfügung. Das BABEL-System Um das BABEL-System auf Ihrer SUN-Workstation unter UNIX zu installieren, müssen Sie die Datei babel.tar.Z (0,53 MB) auf Ihre lokale Platte laden und mit dem UNIX-Skript create entpacken. Eine kurze Beschreibung der Bedienung des BABEL-Systems und des Debuggers findet sich in der Datei babel.dvi.Z (20 KB) (Weitere Software: die parallele Maschine: Datei pbam.tgz) Beispielprogramme Hier ist eine Auflistung einiger Beispielprogramme (wird noch erweitert): Graphfärbungsproblem Fibonacci mit unendlichen Listen Bevölkerungsdichte Puzzle N-Damen-Problem

[Mail]

Webmaster

Disclaimer

Last modified: 1998-05-05 13:35 UTC