Programming Languages: Implementations, Logics, and Programs | 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings

Hugh Glaser (u. a.)

ISBN 10: 3540633987 / ISBN 13: 9783540633983

Published by Springer, 1997

About this Item

Programming Languages: Implementations, Logics, and Programs | 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings | Hugh Glaser (u. a.) | Taschenbuch | xi | Englisch | 1997 | Springer | EAN 9783540633983 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 107026153

Bibliographic Details

• Title: Programming Languages: Implementations, Logics, and Programs | 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
• Publisher: Springer
• Publication Date: 1997
• Language: English
• ISBN 10: 3540633987
• ISBN 13: 9783540633983
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 24D millimeters 235 millimeters width by 155 millimeters height by 24 millimeters depth
• Weight: 668 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.