Workshops in Computing

Declarative Programming, Sasbachwalden 1991

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

Editors: Darlington, John, Dietrich, Roland (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-3794-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-19735-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (20 chapters)

  • A Design Space for Integrating Declarative Languages

    Darlington, John (et al.)

    Pages 3-19

  • Introducing Constraint Functional Logic Programming

    Darlington, John (et al.)

    Pages 20-34

  • How to Use Guarded Functional Programming

    Dietrich, Roland

    Pages 35-50

  • Enriching Prolog with S-Unification

    Kågedal, Andreas (et al.)

    Pages 51-65

  • A Tiny Functional Language with Logical Features

    Paterson, Ross

    Pages 66-79

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-3794-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-19735-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Declarative Programming, Sasbachwalden 1991
Book Subtitle
PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
Editors
  • John Darlington
  • Roland Dietrich
Series Title
Workshops in Computing
Copyright
1992
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-1-4471-3794-8
DOI
10.1007/978-1-4471-3794-8
Softcover ISBN
978-3-540-19735-5
Series ISSN
1431-1682
Edition Number
1
Number of Pages
VIII, 327
Number of Illustrations and Tables
4 b/w illustrations
Additional Information
Jointly published with the British Computer Society
Topics