Practical Aspects of Declarative Languages: 11th International Symposium, Padl 2009, Savannah, Ga, USA, January 19-20, 2009, Proceedings

Gill, Andy (Editor)/ Swift, Terrance (Editor)

ISBN 10: 3540929940 / ISBN 13: 9783540929949

Published by Springer Verlag, 2009

About this Item

1st edition. 285 pages. 9.25x6.25x0.75 inches. In Stock. Seller Inventory # x-3540929940

Bibliographic Details

Title: Practical Aspects of Declarative Languages: ...

Publisher: Springer Verlag

Publication Date: 2009

Binding: Paperback

Condition: Brand New

About this title

Synopsis:

This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, collocated with POPL 2009, the Symposium on Principles of Programming Languages. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 48 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on user interfaces and environments, networks and data, multi-threading and parallelism, databases and large data sets, tabling and optimization, as well as language extensions and implementation.

From the Back Cover:

This book constitutes the refereed proceedings of the 11th International
Symposium on Practical Aspects of Declarative Languages, PADL 2009, held
in Savannah, GA, USA, in January 2009, colocated with POPL 2009, the
Symposium on Principles of Programming Languages.

The 18 revised full papers presented together with 1 invited talk were
carefully reviewed and selected from 48 submissions. The volume features
original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including functions,
relations, logic, and constraints. The papers address all current
aspects of declarative programming; they are organized in topical
sections on user interfaces and environments, networks and data,
multi-threading and parallelism, databases and large data sets, tabling
and optimization, as well as language extensions and implementation.