Beschreibung
Tagungsband: Herbert Kuchen (Ed.).
Workshop on Functional and Logic Programming - Proceedings.
Institut für Wirtschaftsinformatik, Universität Münster, Working Paper No. 63, 25 Artikel, Juni 1998.
Programm
Monday, April 27, 1998
| 8.55-9:00 | Opening |
|---|
| 9:00-10:30 | Functional Programming Andreas Rossberg (Braunschweig): Functional Programming in-the-Large
Dirk Pape (Berlin): Higher Order Demand Propagation
Raimund Schröder (Kiel): Speculative Evaluations as Concurrent Breath-First Searches
|
|---|
|
| 10:30 - 11:00 | Coffee Break |
|---|
| 11:00 - 12:30 | Functional Logic Programming (1) Michael Hanus (Aachen): An Abstract Machine for Curry and its Concurrent Implementation in Java
Frank Steiner (Aachen): Controlling Search in Functional Logic Languages
Wolfgang Lux (Münster): An Abstract Machine for the Efficient Implementation of Curry
|
|---|
| 12:45 - 14:00 | Lunch |
|---|
| 14:00 - 15:30 | Functional Logic Programming (2) Julio Mariño-Carballo (Madrid): Implementing Curry via its Translation to Prolog: the Sloth System
Daniela Genius (Karlsruhe): Translating Parallel Narrowing into Prolog
Rachid Echahed (Grenoble): Towards Reactive Functional Logic Programming Languages
|
|---|
| 15:30 - 16:00 | Coffee Break |
|---|
| 16:00 - 17:30 | Program Analysis and Optimization Jens Knoop (Passau): Constant Propagation in Parallel Programs
Martin Plümicke (Tübingen): Type Inference in OBJ-P
Manfred Widera (Hagen): Towards a Complete Type System for Functional Languages
|
|---|
| 18:00 | Dinner |
|---|
Tuesday, April 28, 1998
| 9:00 - 10:30 | Functional Logic Programming (3) Rachid Echahed (Grenoble): On Graph Rewriting and Narrowing
Julio Mariño-Carballo (Madrid): Recovering Sequentiality in Functional-Logic Programs
Frank Zartmann (Aachen): Demand Analysis of Functional Logic Programs
|
|---|
| 10:30 - 11:00 | Coffee Break |
|---|
| 11:00 - 12:30 | Extensions Harold Boley (Kaiserslautern): Uniform Functional Logic File and URL Description
Petra Hofstedt (Dresden): Combining Constraint Solvers by Projections
Tibor Asvanyi (Budapest): A Generalization of Arithmetic Expressions in SICStus Prolog
|
|---|
| 12:45 - 14:00 | Lunch |
|---|
| 14:00 - 15:30 | Theoretical Foundations Andreas Hallmann (Dortmund): Necessary Computations to Disagreement-Root-Stable Form
Mina Abdiche (Paris): On the encoding of lambda_<= in pi_<=
Sabine Glesner (Karlsruhe): Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages
|
|---|
| 15:30 - 16:00 | Coffee Break |
|---|
| 16:00 - 18:00 | Excursion |
|---|
| 18:00 - 19:00 | Dinner |
|---|
| 19:00 - 20:30 | Annual Meeting of the Working Groups 2.1.3 and 2.1.4 of the German Computer Science Association GI |
|---|
Wednesday, April 29, 1998
| 9:00 - 10:30 | Parallelism Nils Ellmenreich (Passau): Applicability of the Polytope Model to Functional Programs
Walter Dosch (Lübeck): Partition-Based Skeletons and Their List Homomorphic Implementation
Ulrike Klusik (Marburg): DREAM - the DistRibuted Eden Abstract Machine
|
|---|
| 10:30 - 11:00 | Coffee Break |
|---|
| 11:00 - 12:30 | Program Correctness Wolfgang Goerigk (Kiel): Correct Programs without Proof?
Arnd Poetzsch-Heffter (Hagen): Proof Rules for Typed Object Oriented Languages
Tarmo Uustalu (Kista): Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically
|
|---|
| 12:30 -12:35 | Closing |
|---|
| 12:45 | Lunch |
|---|