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

Gill, Andy

ISBN 10: 3540929940 / ISBN 13: 9783540929949

Editore: Springer 2008-12, 2008

Riguardo questo articolo

Codice articolo 6666-IUK-9783540929949

Dati bibliografici

Titolo: Practical Aspects of Declarative Languages :...

Casa editrice: Springer 2008-12

Data di pubblicazione: 2008

Legatura: PF

Condizione: New

Descrizione articolo

Riassunto:

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.

Dalla quarta di copertina:

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.