Seminar Programmiersprachen und Programmiersysteme

Sommersemester 2010
Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion

Vorträge:

3.6.2010: Bastian Kirchmayr: Funktionale Hardwarebeschreibung mit Lava

• Koen Claessen, Mary Sheeran, and Satnam Singh: Functional Hardware Description in Lava. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, pp. 151--176, Palgrave, 2003.
• Webseite mit weiteren Informationen
• Weitere Arbeit zur Lehre mit Lava:
  Koen Claessen and Gordon Pace: An Embedded Language Approach to Teaching Hardware Compilation. In Proc. of Workshop on Functional and Declarative Programming in Education (FDPE), 2002.

10.6.2010: Daniel Krawutschke: Schaltungsentwurf mit Wired

• Emil Axelsson, Koen Claessen, Mary Sheeran: Wired: Wire-aware Circuit Design. Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME), Springer LNCS 3725, 2005
• Naylor, M. and Axelsson, E. and Runciman, C.: A Functional-Logic Library for Wired. Proc. of the ACM SIGPLAN 2007 Haskell Workshop, ACM Press, pp. 37-48, 2007

17.6.2010: Christoph Wulf: iTasks: Interaktive Workflow-Systeme im Web

• Plasmeijer, R. and Achten, P. and Koopman, P.: iTasks: Executable Specifications of Interactive Work Flow Systems for the Web. Proc. of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07), ACM Press, 141-152, 2005

24.6.2010: Jan Rasmus Tikovsky: Funktionale Programmierung mit Constraints

• Tom Schrijvers, Peter Stuckey and Phil Wadler: Monadic Constraint Programming. In Journal of Functional Programming, 2009.
• Webseite mit weiteren Infos

1.7.2010: Jens-Christoph Schröder: Modellierung von Finanzkontrakten

• Simon Peyton Jones, Jean-Marc Eber, Julian Seward: Composing contracts: an adventure in financial engineering. Proc. of the 2nd USENIX Conference on Domain-Specific Languages (DSL'99), Also appeared in ACM SIGPLAN Notices 35, 1, January 2000
• Simon Peyton Jones, Jean-Marc Eber: How to write a financial contract. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, Palgrave, 2003.
• Webseite

14.7.2010 (8:30 Uhr!!): Torsten Krause: Funktionale Bilder

• Conal Elliott: Functional Images. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, Palgrave, 2003.