Snelting, Gregor - Fakultät für Informatik, Universität Karlsruhe

• The IFC project at the Group for Programming Paradigms
• Theorembeweiser und ihre Anwendungen Prof. Dr.-Ing. Gregor Snelting
• 0 SS 2011 Denis Lohner, Daniel Wasserrab: Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Sitzung 10 Codeerzeugung
• Software Design and Quality Group Institute for Program Structures and Data
• Short Introduction to C# C# (C SHARP)
• Cardelli-Typsystem Wozu Typen und Typsysteme?
• Event Handling Erinnerung
• Analyseverfahren Optimierung, insbesondere dynamic dispatch statischer
• Refactoring 11.1 Die Demeter-Regel (Lieberherr 89)
• Fortgeschrittene Objektorientierung Prof. Dr.-Ing. G. Snelting
• Invarianten und sichere Vererbung Idee der Vererbung: class U extends O ...
• Traits und Mixins 14.1 Grundbegriffe der Komponententechnologie
• Tcken der dynamischen Bindung 3.1 this-Pointer
• Generische Klassen Ziel: Zusammensetzen von Software-Bausteinen
• berladungen in C++ und Java knnen Funktionen berladen werden
• Java: Eine Ubersicht Dennis Giffhorn
• Generizitt, Abstraktion, Rekursion 17.1 Generische Klassen
• SmallTalk -Eine kurze Einfuhrung Andreas Lochbihler
• Inner Classes 9.1 Wiederholung: Iteratoren
• Mehrfachvererbung Beispiel 1
• Cardelli-Typsystem Wozu Typen und Typsysteme?
• KIT University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association
• Mehrfachvererbung Beispiel 1
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Der vtable-Mechanismus 5.1 C++: Objektlayout
• Bytecode, JVM, Dynamische Compilierung
• C++ -Eine kurze Ubersicht Daniel Wasserrab
• Design Patterns 12.1 Das Role-Pattern
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Invarianten und sichere Vererbung Idee der Vererbung: class U extends O ...
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Sitzung 11 Abschlussprsentation
• Fortgeschrittene Objektorientierung Prof. Dr.-Ing. G. Snelting
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• Prof. Dr.-Ing. Gregor Snelting bersetzerbau WS 2006/2007 (4) 1 Attributierte Grammatiken
• 1 Maschinenunabhangige Optimierungen Maschinenunabhangige Optimierungen Wintersemester 2008/09 1 / 17
• Praktikum Compilerbau Sitzung 4 Semantik und Typprfung
• Transactional Memory Seminar: Sprachen fr Parallelprogrammierung
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Corporate Design Universitt Karlsruhe (TH) 76128 Karlsruhe
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Sprache fr Parallelprogrammierung IPD Snelting, Lehrstuhl fr Programmierparadigmen David Soria Parra
• Principles of Program Analysis: A Sampler of Approaches
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• 3 Operationale Semantik fur While Semantik von Programmiersprachen 3 Operationale Semantik fur While
• Refactoring 11.1 Die Demeter-Regel (Lieberherr 89)
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• 1 Speicherzuweisung auf dem Stack 2 Zugriff auf nichtlokale Daten auf dem Stack
• Java Reflection Andreas Lochbihler
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Praxis der Software-Entwicklung 2009/10 Anmerkungen zum Pflichtenheft
• Sprachtechnologie und Compiler Prof. Dr.-Ing. Gregor Snelting
• Semantische Analyse Semantische Analyse Wintersemester 2009/10 1 / 72
• Bytecode, JVM, Dynamische Compilierung
• Kapitel 7: Zusatzfolien Transformation 1 Array-Adressierung
• Prof. Dr.-Ing. Gregor Snelting Sprachtechnologie und Compiler WS 2009/10 1 Codeerzeugung
• sommer 2010stba Climate Change Lab. SEF
• Visite el sitio Web del Instituto de Ciencia Regional, donde encontrar informacin
• Transport in Europa Intermodalitt zwischen Deutschland, Frankreich und Schweiz
• www.kit.edu KIT Universitt des Landes Baden-Wrttemberg und
• Institut fr Experimentelle Kernphysik, KIT 2011 Elementarteilchen-& Astroteilchenphysik
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• 5 Erweiterungen von While Semantik von Programmiersprachen 5 Erweiterungen von While
• Spracherweiterungen in Java 5 Dennis Giffhorn
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Sitzung 9 Java Bytecode
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• 0 SS 2011 Denis Lohner, Daniel Wasserrab: Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
• Sprachtechnologie und Compiler Prof. Dr.-Ing. Gregor Snelting
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Generizitt, Abstraktion, Rekursion 17.1 Generische Klassen
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• 6 Denotationale Semantik Semantik von Programmiersprachen 6.5 Continuation-style denotationale Semantik
• Analyseverfahren Optimierung, insbesondere dynamic dispatch statischer
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Einfuhrung in (Intel) 80x86 Assembler Einfuhrung in (Intel) 80x86 Assembler Wintersemester 2008/09 1 / 26
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• legato, ausdrucksvoll Musik+Satz: J. Brahms
• Das Karlsruher Institut fr Technologie (KIT) ist aus der Fusion von Universitt Karlsruhe und Forschungszentrum Karlsruhe hervorgegangen. Damit entstand eine deutschlandweit
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• 0 SS 2011 Denis Lohner, Daniel Wasserrab: Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
• 0 SS 2011 Denis Lohner, Daniel Wasserrab: Projekt LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
• KIT -University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association www.kit.edu
• KIT -University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association www.kit.edu
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Tucken der dynamischen Bindung 3.1 this-Pointer
• Short Introduction to C# C# (C SHARP)
• SmallTalk -Eine kurze Einfuhrung Andreas Lochbihler
• Uberladungen in C++ und Java konnen Funktionen uberladen werden
• Generische Klassen Ziel: Zusammensetzen von Software-Bausteinen
• Event Handling Erinnerung
• Traits und Mixins 14.1 Grundbegriffe der Komponententechnologie
• Virtuelle Klassen Grundidee: Ein Member kann nicht nur Instanzvariable oder
• 1 Grammar Engineering 2 Abstrakte Syntax als abstrakte Algebra
• Prof. Dr.-Ing. Gregor Snelting Sprachtechnologie und Compiler WS 2008/09 1 Semantische Analyse
• Prof. Dr.-Ing. Gregor Snelting Sprachtechnologie und Compiler WS 2008/09 1 Abbildungsphase
• Inhaltsverzeichnis Bytecode, JVM, Dynamische
• Prof. Dr.-Ing. Gregor Snelting Sprachtechnologie und Compiler WS 2008/09 1 Codeerzeugung
• Principles of Program Analysis: A Sampler of Approaches
• Praktikum Compilerbau Sitzung 3 Parser
• Praktikum Compilerbau Sitzung 5 Semantische Analyse
• Praktikum Compilerbau Sitzung 7 Optimierung: Konstantenfaltung
• MiniJava-Sprachbericht Version 3.1 Matthias Braun Jrgen Graf
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• www.kit.eduKIT die Kooperation von Forschungszentrum Karlsruhe GmbH und Universitt Karlsruhe (TH) IPD Snelting
• Kurzeinfhrung in OpenGL(ES) Matthias Braun
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• MiniJava Sprachbericht (v3) Matthias Braun Jurgen Graf
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Prof. Dr.-Ing. Gregor Snelting
• Praktikum Compilerbau Sitzung 7 libFirm
• Praktikum Compilerbau Sitzung 9 Java Bytecode
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Karlsruhe Institute of Technology (KIT) --IPD Snelting 1 Seminareinfhrung
• Seminar: Sprachen fr die Parallelprogrammierung Eduard Frank
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• www.kit.edu IPD Snelting, Lehrstuhl Programmierparadigmen
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• Theorembeweiser und ihre Anwendungen Prof. Dr.-Ing. Gregor Snelting
• Theorembeweiser und ihre Anwendungen Prof. Dr.-Ing. Gregor Snelting
• Theorembeweiser und ihre Anwendungen Prof. Dr.-Ing. Gregor Snelting
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Ubersicht: Taktiken Unterschiede der Taktiken
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• int a[1817]; main(z,p,q,r)
• Einfuhrung in den Scannergenerator Flex Einfuhrung in den Scannergenerator Flex Wintersemester 2008/09 1 / 9
• Praktikum Compilerbau Sitzung 6 libFirm
• Prof. Dr. Gerhard Goos bersetzerbau WS 2006/2007 (6) 1 Speicherbereinigung
• Design Patterns 12.1 Das Role-Pattern
• Lehrstuhl fur Programmierparadigmen Daniel Wasserrab
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Aspekt Orientierte Programmierung 13.1 Aspekte in Apache
• Prof. Dr.-Ing. Gregor Snelting Sprachtechnologie und Compiler WS 2009/10 1 Abbildungsphase
• Einfhrung in (Intel) 80x86 Assembler Einfhrung in (Intel) 80x86 Assembler Wintersemester 2009/10 1 / 31
• Attributierte Grammatiken Attributierte Grammatiken Wintersemester 2009/10 1 / 64
• POLYTOPE MODEL Seminar "Sprachen fr Parallelprogrammierung"
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Sitzung 2 Lexer
• X10 Language A PGAS Parallel Language
• Musik: H. Groenemeyer Text + Satz: G. Snelting
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Sitzung 6 libFirm Teil 2
• Palsberg-Schwartzbach Typinferenz Ziel: Optimierung des Methodenaufrufs (insbesondere dy-
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Inner Classes 9.1 Wiederholung: Iteratoren
• 0 SS 2011 Denis Lohner, Daniel Wasserrab: Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praktikum Compilerbau Sitzung 5 libFirm Teil 1
• Begriffsverbande Mathematische Begriffsanalyse (Ganter & Wille)
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• 0 SS 2011 Denis Lohner, Daniel Wasserrab: Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
• Rechnerubung zu Theorembeweiser und ihre Anwendungen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• C++ ist typsicher? Garantiert! Daniel Wasserrab1 Tobias Nipkow2 Gregor Snelting1 Frank Tip3
• MiniJava-Sprachbericht Version 3.2 Matthias Braun Jrgen Graf
• Matthias Florian Braun Rintheimer Str. 84 76131 Karlsruhe
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• bisher: statisches Verhalten (Subtyping, Verhaltenskonformanz) nun: dynamisches Verhalten
• MiniJava-Sprachbericht Version 2.0 Matthias Braun Jrgen Graf
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• 1 Attributierte Grammatiken 2 Zyklische AG
• Praktikum Compilerbau Sitzung 10 Codeerzeugung
• Social Cloud: Cloud Computing in Social Networks Kyle Chard, Simon Caton, Omer Rana, and Kris Bubendorfer
• www.kit.eduKIT Universitt des Landes Baden-Wrttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut fr Programmstrukturen und Datenorganisation
• Lexikalische Analyse Lexikalische Analyse Wintersemester 2009/10 1 / 57
• 6 Denotationale Semantik Semantik von Programmiersprachen 6.4 Bezug zur operationalen Semantik
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Praxis der Software-Entwicklung 2009/10 Handyprogrammierung mit Java
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Lehrstuhl fur Programmierparadigmen Andreas Lochbihler
• Praktikum Compilerbau Sitzung 4 Abstrakter Syntaxbaum
• Universitat Karlsruhe (TH) Lehrstuhl fur Programmierparadigmen
• Am Institut fr Programmstrukturen und Datenorganisation, Professur fr Programmier-paradigmen, des Karlsruher Instituts fr Technologie (KIT) ist zum nchstmglichen