Declarative Programming 1991: Sasbachwalden, Germany

@proceedings{DBLP:conf/phoenix/1991,
  editor    = {John Darlington and
               Roland Dietrich},
  title     = {Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar
               and Workshop on Declarative Programming, Sasbachwalden, Black
               Forest, Germany, 18-22 November 1991},
  booktitle = {Declarative Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1992},
  isbn      = {3-540-19735-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Languages and Semantics

• John Darlington, Yike Guo, Helen Pull: A Design Space for Integrating Declarative Languages. 3-19
• John Darlington, Yike Guo, Helen Pull: Introducing Constraint Functional Logic Programming. 20-34
• Roland Dietrich: How to Use Guarded Functional Programming. 35-50
• Andreas Kågedal, Feliks Kluzniak: Enriching Prolog with S-Unification. 51-65
• Ross Paterson: A Tiny Functional Language with Logical Features. 66-79

Parallelism and Concurrency

• T. C. Nicholas Graham: Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction. 83-100
• Koen Langendoen, Willem G. Vree: Eight Queens Divided: an Experience in Parallel Functional Programming. 101-115
• Andrew Verden, Hugh Glaser: Intelligent Backtracking in And-Parallel Prolog. 116-130

Modules and Types

• Sophia Drossopoulou, Ross Paterson, Susan Eisenbach: Parameterized Interfaces are Interfaces - AIAS. 133-147
• Konstantin Läufer, Martin Odersky: Type Classes are Signatures of Abstract Types. 148-162
• Luís Monteiro, António Porto: Syntactic and Semantic Inheritance in Logic Programming. 163-173

Implementation

• P. H. Cheong, Laurent Fribourg: A Survey of the Implementations of Narrowing. 177-187
• Hendrik C. R. Lock: A Systematic Method for Designing Abstract Narrowing Machines. 188-203
• Roland Olsson: Some Algorithms for Fast and Complete Execution of Logic Programs. 204-223
• David Parrott, Chris D. Clack: A Common Graphical Form. 224-238
• Wolfram Schulte, Wolfgang Grieskamp: Generating Efficient Portable Code for a Strict Applicative Language. 239-252

Bird-Meertens Formalism (Squiggol)

• Erik Meijer: More Advice on Proving a Compiler Correct: Improve a Correct Compiler. 255-273
• Ed Voermans: Pers as Types, Inductive Types and Types with Laws. 274-291

Program Analysis

• Marc-Michel Corsini, Kaninda Musumbu: Failure Analysis Based on Abstract Interpretation. 295-309
• Mark Korsloot, Evan Tick: Sequentializing Parallel Programs. 310-324