Programmierung - Eine Einführung in Die Informatik Mit Standard ML

ISBN-13: 9783486705171 / Niemiecki / Miękka / 2011 / 385 str.

Gert Smolka

Opis

Diese Einfuhrung in die Informatik ermoglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschaftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken fur Korrektheitsbeweise und Laufzeitbestimmungen.

Spis treści

Grundlagen - Höherstufige Prozeduren - Listen und Strings - Sortieren - Konstruktoren und Ausnahmen - Bäume - Mengenlehre - Mathematische Prozeduren - Induktive Korrektheitsbeweise - Laufzeit rekursiver Prozeduren - Statische und dynamische Semantik - Konkrete Syntax - Datenstrukturen - Speicher und veränderliche Objekte - Stapelmaschinen und Übersetzer

O autorze

Gert Smolka ist seit 1990 Professor für Informatik an der Universität des Saarlandes, wo er in Saarbrücken den Lehrstuhl für Programmiersysteme leitet. Zusammen mit seinen Schülern hat er die Programmiersprachen Oz und Alice entwickelt. Informatik studiert hat Gert Smolka an der Universität Karlsruhe und an der Cornell University, promoviert hat er an der Universität Kaiserslautern. Im Zentrum seiner Forschungsarbeiten stehen Logik und Berechnung, mit Anwendungen bei Programmiersprachen, in der Künstlichen Intelligenz und in der Computerlinguistik.