Programmiersprachen Proseminar Prof. Dr. Manfred Schmidt-Schauß Künstliche Intelligenz/Softwaretechnologie Programmiersprachen Proseminar SS 2005 p.1/25
Personen Prof. Dr. Manfred Schmidt-Schauß, Zimmer 215 David Sabel, Zimmer 216, E-Mail (kein HTML!): sabel@ki.informatik.uni-frankfurt.de Programmiersprachen Proseminar SS 2005 p.2/25
Termine Vorträge jeweils in SR 307 (Informatik) Mittwoch, 14:00-16:00 Erster Vortrag vorauss. am 27. April Genaue Reihenfolge wird in 4 Wochen festgelegt. Programmiersprachen Proseminar SS 2005 p.3/25
Homepage http://www.ki.informatik.unifrankfurt.de/lehre/ss2005/programmiersprachen/ beinhaltet alle relevanten Informationen: Themenliste Hinweise zur Ausarbeitung Terminplan aktuelle Bekanntmachungen Programmiersprachen Proseminar SS 2005 p.4/25
Leistungsschein Regelmäßige Teilnahme Erfolgreicher Vortrag Akzeptierte Ausarbeitung Programmiersprachen Proseminar SS 2005 p.5/25
Teilnahme generelle Anwesenheitspflicht Mitwirkung, d.h. Beteiligung an Diskussionen Programmiersprachen Proseminar SS 2005 p.6/25
Vortrag ca. 40min Dauer Gestaltungshinweise auf der WWW-Seite Präsentation: - keine Kopie der Ausarbeitung! - Overhead-Folien oder - Beamer + Notebook Programmiersprachen Proseminar SS 2005 p.7/25
Ausarbeitung Abgabe zwei Wochen vor dem Vortrag Ausdruck und PDF Umfang ca. 10 Seiten vorherige Besprechung des Konzepts: Terminabsprache per E-Mail notwendig Höchstens eine Nachbesserung bis spätestens zwei Wochen nach dem Vortrag Programmiersprachen Proseminar SS 2005 p.8/25
Rücktritt Bis zum 16. März 2005 ist ein Rücktritt von der Teilnahme am Proseminar ohne Konsequenzen möglich! Programmiersprachen Proseminar SS 2005 p.9/25
Themen ANSI C Eiffel Mercury C-- Erlang Oberon C# F# O Caml Curry Forth SAC Dylan Io Scala Programmiersprachen Proseminar SS 2005 p.10/25
1 ANSI C C : Sehr weit verbreitete imperative Programmiersprache ANSI C: Normierung der Sprache C Programmiersprachen Proseminar SS 2005 p.11/25
2 C-- Syntax ist an C angelehnt nah an der Maschinenebene Portable Assemblersprache soll als Back-End von Compilern dienen Programmiersprachen Proseminar SS 2005 p.12/25
3 C# Entwickelt von Microsoft objektorientiert greift Konzepte von C#, Java, VB auf von der ECMA standardisiert Programmiersprachen Proseminar SS 2005 p.13/25
4 Curry funktional, logisch unterstützt nebenläufige Programmierung Programmiersprachen Proseminar SS 2005 p.14/25
5 Dylan objektorientiert, dynamisch entwickelt von Apple u.a. Funktionen sind first class objects eigenständige generische Funktionen Programmiersprachen Proseminar SS 2005 p.15/25
6 Eiffel rein objektorientiert Design-by-Contract Prinzip Assertions Programmiersprachen Proseminar SS 2005 p.16/25
7 Erlang von Ericsson entworfen funktionale, nebenläufige, verteilte Programmierung Concurrency Oriented Programming Language Programmiersprachen Proseminar SS 2005 p.17/25
8 F# funktionale Programmiersprache von Microsoft ähnlich zu O Caml ML that fits with.net Schwerpunkt Proseminarvortrag: Unterschiede und Gemeinsamkeiten zu O Caml Programmiersprachen Proseminar SS 2005 p.18/25
9 Forth Stack-basierte Programmiersprache ohne Typisierung umgekehrt polnische Notation Programmiersprachen Proseminar SS 2005 p.19/25
10 Io objektorientierte, Prototypen-basierte Programmiersprache keine Klassen Actors zur Modellierung von Nebenläufigkeit. Programmiersprachen Proseminar SS 2005 p.20/25
11 Mercury deklarative logische Programmiersprache streng getypt Weiterentwicklung von Prolog Aspekte funktionaler Programmiersprachen werden berücksichtigt Programmiersprachen Proseminar SS 2005 p.21/25
12 Oberon imperative, objektorientierte Programmiersprache Nachfolger von Modula-2 Module dienen zur Kapselung und Hierarchisierung Programmiersprachen Proseminar SS 2005 p.22/25
13 O Caml ML basierte Sprache funktionale, imperative, objektorientierte Konzepte. Programmiersprachen Proseminar SS 2005 p.23/25
14 SAC Single Assignment C strikte, pure funktionale Programmiersprache Syntax: C-ähnlich effiziente Array-Behandlung Programmiersprachen Proseminar SS 2005 p.24/25
15 Scala Unterstützung mehrere Programmierparadigmen statisch getypt Programmiersprachen Proseminar SS 2005 p.25/25