Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, . Notes in Computer Science (982), Band 982)

Swierstra, S.Doaitse und Manuel Hermenegildo:

ISBN 10: 354060359X / ISBN 13: 9783540603597

Published by Springer, 2008

About this Item

488 p. Unread book. Very good condition. Minimum traces of storage. 9783540603597 Sprache: Englisch Gewicht in Gramm: 544 Softcover: 15.5 x 2.8 x 23.5 cm.

Seller Inventory # 203277

Bibliographic Details

• Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, . Notes in Computer Science (982), Band 982)
• Publisher: Springer
• Publication Date: 2008
• Language: English
• ISBN 10: 354060359X
• ISBN 13: 9783540603597
• Binding: Soft cover
• Edition: 1995.
• Seller catalogs:
  • Informatik

About this title

Synopsis

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.
The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.