Software Prototyping Mit Setl [German]

By Ernst-Erich Doberkat

wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der disk: reten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vOIhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Back- tracking. Die DRSL erlaubt die Deldaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeldaration in Sprachen wie Pascal); sie ist in der gegenw rtigen Fonn nicht besonders nUtzlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollst ndige EinfUluung in SETL gegeben; ein kurzer berblick ber den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wtr wenden das auf die Konstruktion eines Scanners fOl Pascal-Programme an, urn zu zeigen, daB man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Erg nzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel m wendet dann die Sprache auf einige Probleme an, urn dem Leser ein vertieftes Geftlhl f r den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustem in Zeichenketten, ein Verfahren zurn dynamischen Hashing, und spezifizieren einen Parsergenerator f r eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verst ndlich in SETL fonnulieren lassen.

• Format: Paperback
• Language: German
• ISBN: 3519022729
• ISBN13: 9783519022725
• Release Date: October 1989
• Publisher: Vieweg+teubner Verlag
• Length: 229 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"