Proseminar Programming Languages from Hell

Transkript

1 TECHNISCHE UNIVERSITÄT MÜNCHEN LEHRSTUHL SPRACHEN UND BESCHREIBUNGSSTRUKTUREN Proseminar Programming Languages from Hell Organisatorisches Andrea Flexeder Sommersemester 2010 Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

2 Proseminar Überblick und Anforderungen: Programming Languages from Hell Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

3 Merkmale von Programmiersprachen 1 Syntax 2 Semantik operationelle Semantik (formales Maschinenmodell) denotationelle Semantik (Abstraktion vom Maschinenmodell) axiomatische Semantik (Abstraktion von konkreten Zuständen) 3 Pragmatik (Zweckmässigkeit für bestimmte Anwendungen) Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

4 Programmierparadigmen imperativ deklarativ objekt-orientiert constraints parallel prozedural... multi-paradigme Programmiersprachen Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

5 Programmiersprachen # define _ -F <00 - -F-OO - -; int F=00, OO =00; main (){ F_OO (); printf (" %1.3 f\n",4.* -F/OO/OO );} F_OO () { _-_-_- -_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_ lllullltlltllluttlllltulllttlltltuttlllltlulllttlttlluttllllttulllttlttlluttllll _-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_-_-_ tllulllttlttttuttlllltltullltlttlluttllllttlullltllllluttlllltttullltttltttuttll lltlllulllttlttttuttlllltlltullltttlltluttlllltltlulllttlttlluttlllltlttulllttll tlluttllllttllullltlllltuttllllttltulllttltuttlllltttlullltltluttllllttttullllut tllllluulllltulultttlulutlltlutullllltutlllululltuullltluuuu _-_-_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_-_-_-_-_- -_-_-_-_-_-_- -_-_-_ } nicht an Syntax/Layout interessiert!! Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

6 Höllische Programmiersprachen 1 Kategorisierung 2 Intention 3 Semantik 4 Herausarbeiten der höllischen Konzepte 5 kritische Betrachtungsweise Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

7 Übersicht Funktionales Programmieren: FC++ Aleph/Forth Joy Groovy Objektorientierung OCaml ObjC Sather/Eiffel Ada Fortran77 Paralleles Programmieren NESL SR (synchronizing resources) Funktional-Logisches Programmieren: Divers: Mozart/Oz Logo Z SETL (Set Language) GCLA (Generalized horn Clause LAnguage) Averest (synchron) PL/1 HLSL (High-Level-Shading Language) LaTex Zimbu Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

8 Anforderungen 1 Inhalt: Einarbeitung / Vorbereitung 2 Form: Schriftliche Ausarbeitung 3 Gestaltung: Ausarbeitung der Folien 4 Präsentation: Halten des Vortrags 5 Programmieraufgabe Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

9 Arten von Quellen Nichtwissenschaftlich Internetartikel Computerzeitschriften Lexika (z.b. Wikipedia) Überblick, aber nicht ausreichend Wissenschaftlich Fachzeitschriften Konferenz-/Tagungsbände Oftmals über die Bibliothek zugänglich, korrekt zitieren! Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

10 Selektion Falsch: Was kann ich alles erzählen? Richtig: Was sollen die Zuhörer/Leser lernen? ggf. nicht gesamten Stoff der Ausarbeitung präsentieren Konzentration Was sind die wichtigsten drei Kernaussagen, die der Hörer/Leser mitnehmen soll? Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

11 Aufbereitung Keine neuen Erkenntnisse notwendig, aber trotzdem kein bloßes Abschreiben Wegweiser Gliederung für den Zuhörer/Leser erkennbar Woher kommen wir? Was ist Stand der Technik? Wohin geht die Entwicklung? Wichtig dabei sind: Motivation Beispiele Kritische Bewertung Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

12 Formelles zur Ausarbeitung endgültige Abgabe: 2 Wochen vor dem Vortrag Wichtig Einleitung, Grundlagen, Hauptteil, Zusammenfassung Literaturverzeichnis Eigene Formulierungen vs. Zitate Auf Fotografien/Schaubilder aufpassen Form: Latex/Word-Dokument in PDF aus der Vorlage Umfang: 10 Seiten Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

13 Folien Folien zur Unterstützung des gesprochenen Worts Betonen gesprochenes Wort dominiert evtl. leere Folien einbauen Foliengestaltung Wenige Stichpunkte Grafiken übersichtlich, detailarm Ein Thema, eine Folie Kein Fließtext Keinesfalls mehr als 10 Zeilen pro Folie Randbedingung: Folien 25 /Vortragszeit Min.! Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

14 Vorbereitung Technik Folien als PDF auf USB-Stick Vortrag Eigenes Laptop daheim schon an VGA Schnittstelle testen Keine exotische Auflösung einstellen: XGA (1024x768) Pflicht Eigenes Laptop vorher am Beamer testen Probevortrag mit hartem Zeitlimit 2-3 Minuten pro Folie kalkulieren Optionale Folien im Anhang Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

15 Vortragstechnik Frei vortragen Keine Sequenz von Einzelfolien Roten Faden durchscheinen lassen Ursache/Wirkung Problem/Lösung Alternativen Vorwissen mit bedenken Publikumskontakt Körperhaltung Sprache Blickkontakt Dialog Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

16 Programmieraufgabe n-damen Problem Auf einem Schachbrett mit n n Feldern sollen n Damen so aufgestellt werden, dass keine Dame eine andere gemäss der Schachregeln schlagen kann. Mathematisch betrachtet heisst das, n Felder auf einem n n Brett so auszuwählen, dass auf jeder Diagonalen, jeder Zeile und jeder Spalte des Brettes maximal ein Feld gewählt ist. Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17

17 Organisation Zeitplan 4 Wochen vorher: Gliederung 2 Wochen vorher: endgültige Ausarbeitung 1 Woche vorher: fertige Programmieraufgabe 1 Woche vorher: endgültige Folien Durchführung Anwesenheitspflicht aktive Beteiligung an Diskussionen im Anschluss an Vortrag Andrea Flexeder (TUM) Proseminar Programming Languages from Hell SS / 17