Declarative Programming, Sasbachwalden 1991

PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

  • John Darlington
  • Roland Dietrich
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Languages and Semantics

    1. Front Matter
      Pages 1-1
    2. John Darlington, Yike Guo, Helen Pull
      Pages 3-19
    3. John Darlington, Yike Guo, Helen Pull
      Pages 20-34
    4. Roland Dietrich
      Pages 35-50
    5. Andreas Kågedal, Feliks Kluźniak
      Pages 51-65
  3. Parallelism and Concurrency

  4. Modules and Types

    1. Front Matter
      Pages 131-131
    2. Sophia Drossopoulou, Ross Paterson, Susan Eisenbach
      Pages 133-147
    3. Konstantin Läufer, Martin Odersky
      Pages 148-162
    4. Luís Monteiro, António Porto
      Pages 163-173
  5. Implementation

    1. Front Matter
      Pages 175-175
    2. P. H. Cheong, L. Fribourg
      Pages 177-187
    3. David Parrott, Chris Clack
      Pages 224-238
    4. Wolfram Schulte, Wolfgang Grieskamp
      Pages 239-252
  6. Bird-Meertens Formalism (Squiggol)

  7. Program Analysis

    1. Front Matter
      Pages 293-293
    2. M.-M. Corsini, K. Musumbu
      Pages 295-309
    3. Mark Korsloot, Evan Tick
      Pages 310-324
  8. Back Matter
    Pages 325-327

About these proceedings


Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development.


Logic Programming Mathematica artificial intelligence declarative programming development functional programming language program transformation programming programming language software

Editors and affiliations

  • John Darlington
    • 1
  • Roland Dietrich
    • 2
  1. 1.Department of ComputingImperial College of Science, Technology and MedicineLondonUK
  2. 2.GMD ForschungsstelleUniversität KarlsruheKarlsruhe 1Germany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19735-5
  • Online ISBN 978-1-4471-3794-8
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment