Programmiersprachen Proseminar

Transkript

1 Programmiersprachen Proseminar Prof. Dr. Manfred Schmidt-Schauß Künstliche Intelligenz/Softwaretechnologie Programmiersprachen Proseminar SS 2005 p.1/25

2 Personen Prof. Dr. Manfred Schmidt-Schauß, Zimmer 215 David Sabel, Zimmer 216, (kein HTML!): Programmiersprachen Proseminar SS 2005 p.2/25

3 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

4 Homepage beinhaltet alle relevanten Informationen: Themenliste Hinweise zur Ausarbeitung Terminplan aktuelle Bekanntmachungen Programmiersprachen Proseminar SS 2005 p.4/25

5 Leistungsschein Regelmäßige Teilnahme Erfolgreicher Vortrag Akzeptierte Ausarbeitung Programmiersprachen Proseminar SS 2005 p.5/25

6 Teilnahme generelle Anwesenheitspflicht Mitwirkung, d.h. Beteiligung an Diskussionen Programmiersprachen Proseminar SS 2005 p.6/25

7 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

8 Ausarbeitung Abgabe zwei Wochen vor dem Vortrag Ausdruck und PDF Umfang ca. 10 Seiten vorherige Besprechung des Konzepts: Terminabsprache per notwendig Höchstens eine Nachbesserung bis spätestens zwei Wochen nach dem Vortrag Programmiersprachen Proseminar SS 2005 p.8/25

9 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

10 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

11 1 ANSI C C : Sehr weit verbreitete imperative Programmiersprache ANSI C: Normierung der Sprache C Programmiersprachen Proseminar SS 2005 p.11/25

12 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

13 3 C# Entwickelt von Microsoft objektorientiert greift Konzepte von C#, Java, VB auf von der ECMA standardisiert Programmiersprachen Proseminar SS 2005 p.13/25

14 4 Curry funktional, logisch unterstützt nebenläufige Programmierung Programmiersprachen Proseminar SS 2005 p.14/25

15 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

16 6 Eiffel rein objektorientiert Design-by-Contract Prinzip Assertions Programmiersprachen Proseminar SS 2005 p.16/25

17 7 Erlang von Ericsson entworfen funktionale, nebenläufige, verteilte Programmierung Concurrency Oriented Programming Language Programmiersprachen Proseminar SS 2005 p.17/25

18 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

19 9 Forth Stack-basierte Programmiersprache ohne Typisierung umgekehrt polnische Notation Programmiersprachen Proseminar SS 2005 p.19/25

20 10 Io objektorientierte, Prototypen-basierte Programmiersprache keine Klassen Actors zur Modellierung von Nebenläufigkeit. Programmiersprachen Proseminar SS 2005 p.20/25

21 11 Mercury deklarative logische Programmiersprache streng getypt Weiterentwicklung von Prolog Aspekte funktionaler Programmiersprachen werden berücksichtigt Programmiersprachen Proseminar SS 2005 p.21/25

22 12 Oberon imperative, objektorientierte Programmiersprache Nachfolger von Modula-2 Module dienen zur Kapselung und Hierarchisierung Programmiersprachen Proseminar SS 2005 p.22/25

23 13 O Caml ML basierte Sprache funktionale, imperative, objektorientierte Konzepte. Programmiersprachen Proseminar SS 2005 p.23/25

24 14 SAC Single Assignment C strikte, pure funktionale Programmiersprache Syntax: C-ähnlich effiziente Array-Behandlung Programmiersprachen Proseminar SS 2005 p.24/25

25 15 Scala Unterstützung mehrere Programmierparadigmen statisch getypt Programmiersprachen Proseminar SS 2005 p.25/25